Conditions for the equivalence of synchronous and asynchronous systems
EA Akkoyunlu, AJ Bernstein… - IEEE Transactions …, 1978 - ieeexplore.ieee.org
EA Akkoyunlu, AJ Bernstein, FB Schneider, A Silberschatz
IEEE Transactions on Software Engineering, 1978•ieeexplore.ieee.orgSynchronous 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.
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.
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.
ieeexplore.ieee.org