The global time assumption and semantics for concurrent systems

• 1 January 1988
• proceedings article
• Published by Association for Computing Machinery (ACM)
• p. 223-231
• https://doi.org/10.1145/62546.62583

Abstract