From Asynchronous to Synchronous Specifications for Distributed Program Synthesis.

Julien Bernet, David Janin

Browse the full SOFSEM paper archive.