Conditions for the Equivalence of Synchronous and Asynchronous Systems
E. A. Akkoyunlu, A. J. Bernstein, F.B. Schneider, Abraham Silberschatz · IEEE Transactions on Software Engineering · 1978
Synchronous and asynchronous operation of software systems are defined. It is argued that certifying the correct operation of a system in the synchronous mode is significantly simpler than in the asynchronous mode. A series of compile-time and run-time restrictions for systems constructed in Concuirent Pascal are presented which assure equivalent operation in the synchronous and asynchronous modes.