A theory of synchrony and asynchrony (1990)

by J He, M B Josephs, C A R Hoare
Venue:Programming Concepts and Methods, Proc. of the IFIP WG 2.2/2.3, Working Conf. on Programming Concepts and Methods