Communicating reactive processes (1993)

by G Berry, R K Shyamasundar, S Ramesh
Venue:In Proc. 20th ACM Conf. on Principles of Programming Languages, POPL’93