Publisher
Springer Berlin Heidelberg
Reference61 articles.
1. Hoare, C.: Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice-Hall, 1985.
2. Milner, R.: A Calculus of Communicating Systems. Volume 92 of Lecture Notes in Computer Science. Springer, 1980.
3. Milner, R.: Elements of interaction. Communications of the ACM 36, 1993, pp. 78–89.
4. Sangiorgi, D., Walker, D.: The Pi-Calculus-A Theory of Mobile Processes. Cambridge University Press, 2001.
5. Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Information and Control 60, 1984, pp. 109–137.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献