Fuyau Lin;Timothy K. Shih
-;-
A formalism for specifying communicating processes
CSC '93 Proceedings of the 1993 ACM conference on Computer science