A Theory of Synchrony and Asynchrony

Jifeng He, Mark B. Josephs, Charles Antony Richard Hoare. A Theory of Synchrony and Asynchrony. In Manfred Broy, editor, Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990. pages 459-478, North-Holland, 1990.

Abstract

Abstract is missing.