Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Berry, G., Boudol, G.: The chemical abstract machine. Theoretical Computer Science 96, 217–248 (1992)
2. Montanari, U., Sassone, V.: Dynamic congruence vs. progressing bisimulation for ccs. Fundamenta Informaticae 16(1), 171–199 (1992)
3. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
4. Lecture Notes in Computer Science;R. Milner,1992
5. Lecture Notes in Computer Science;P. Sewell,1998
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Barbs and Labels in Reactive Systems;Electronic Proceedings in Theoretical Computer Science;2010-02-15