Communicating Reactive Processes

G. Berry, S. Ramesh, R. K. Shyamasundar. Communicating Reactive Processes. In POPL. pages 85-98, 1993.

Abstract

Abstract is missing.