Communicating reactive processes

G. Berry, S. Ramesh, R. K. Shyamasundar
1993 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93  
doi:10.1145/158511.158526 dblp:conf/popl/BerryRS93 fatcat:ogp2wgeapfedzgjsle4paibkwu