This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Conditions for the Equivalence of Synchronous and Asynchronous Systems
November 1978 (vol. 4 no. 6)
pp. 507-516
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.
Index Terms:
synchronization, Asynchronous processes, classes, Concurrent Pascal, concurrent processes, correctness, hierarchical operating systems, modularity, monitors, mutual exclusion, sequential operation, structured multiprogramming
Citation:
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, Nov. 1978, doi:10.1109/TSE.1978.234136
Usage of this product signifies your acceptance of the Terms of Use.