Issue No.06 - November (1978 vol.4)
E.A. Akkoyunlu , Department of Computer and Information Sciences, Brooklyn College
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.
synchronization, Asynchronous processes, classes, Concurrent Pascal, concurrent processes, correctness, hierarchical operating systems, modularity, monitors, mutual exclusion, sequential operation, structured multiprogramming
E.A. Akkoyunlu, A.J. Bernstein, F.B. Schneider, A. Silberschatz, "Conditions for the Equivalence of Synchronous and Asynchronous Systems", IEEE Transactions on Software Engineering, vol.4, no. 6, pp. 507-516, November 1978, doi:10.1109/TSE.1978.234136