The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - November (1978 vol.4)
pp: 507-516
E.A. Akkoyunlu , Department of Computer and Information Sciences, Brooklyn College
ABSTRACT
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, November 1978, doi:10.1109/TSE.1978.234136
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool