G. Berry S. Ramesh R. K. Shyamasundar Communicating Reactive Processes. 85-98 1993 POPL db/conf/popl/popl93.html#BerryRS93