Author:
Chen WeiEn,Cao YongZhi,Wang HanPin
Publisher
Springer Science and Business Media LLC
Reference38 articles.
1. Bergstra J A, Ponse A, Smolka S A, et al. Handbook of Process Algebra. Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo: Elsevier Science, 2001
2. Lect Notes Comput Sci;R. Milner,1980
3. Milner R. Communication and Concurrency. Englewood Cliffs, New Jersey: Prentice-Hall, 1989
4. Bergstra J A, Klop J W. Algebra of communicating processes with abstraction. Theor Comput Sci, 1985, 37: 77–121
5. Hoare C A R. Communicating sequential processes. Commun ACM, 1978, 21: 666–677