Publisher
Springer International Publishing
Reference22 articles.
1. Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. J. ACM 31(3), 560–599 (1984)
2. Bloom, B., Istrail, S., Meyer, A.R.: Bisimulation can’t be traced. J. ACM 42(1), 232–268 (1995)
3. Bergstra, J.A., Klop, J.W.: Algebra of communicating processes with abstraction. Theoret. Comput. Sci. 37, 77–121 (1985)
4. Lecture Notes in Computer Science;JF Groote,1989
5. Prentice Hall International Series in Computer Science;CAR Hoare,1985