Conditions for the Equivalence of Synchronous and Asynchronous Systems. - Akkoyunlu, Eralp A.; Bernstein, Arthur J.; Schneider, Fred B.; Silberschatz, Abraham (IEEE Transactions on Software Engineering, 1978)