Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Science Applications,Hardware and Architecture,Theoretical Computer Science,Software
Reference20 articles.
1. Baeten J C, Weijland W P. Process Algebra. New York, USA: Cambridge University Press, 1990.
2. Hoare C A R. Communicating sequential processes. Communications of the ACM, 1978, 21(8): 666–677.
3. Hoare C A R. Communicating Sequential Processes. New Jersey, USA: Prentice Hall, 1985.
4. Milner R. Communication and Concurrency. New Jersey, USA: Prentice-Hall, 1989.
5. Ying M S, Wirshing M. Approximate bisimilarity. In Proc. the 8th International Conference of Algebraic Methodology and Software Technology, May 2000, pp.309-322.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献