Synchronous Development of Asynchonous Systems.

Clemens Fischer, Wil Janssen

Browse the full CONCUR paper archive.