An implementation of communicating reactive processes (1997)

by B Rajan, R K Shyamasundar
Venue:In Proc. ICPDCN