Synthesizing Minimal Protocol Adaptors for Asynchronously Interacting Services
['Rik Eshuis', 'Ricardo Seguel', 'Paul W. P. J. Grefen']
Synthesizing Minimal Protocol Adaptors for Asynchronously Interacting Services