Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Norman Abramson. The Aloha system—another alternative for computer communications. In FJCC, pages 281–285, 1970.
2. M. Ben-Ari. Principles of Concurrent and Distributed Programming. Prentice-Hall, 1990.
3. G. Berry, P. Couronné, and G. Gonthier. Synchronous programming of reactive systems: An introduction to ESTEREL. Technical Report 647, INRIA, 1986.
4. Bard Bloom, Sorin Istrail, and Albert R. Meyer. Bisimulation can't be traced. In 15th Symposium on Principles of Programming Languages. ACM, 1988.
5. J. A. Bergstra, J. W. Klop, and J. V. Tucker. Process algebra with asynchronous communication mechanisms. In Seminar on Concurrency, pages 76–95. Carnegie-Mellon University, July 1984. Springer Verlag LNCS 197.
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Lean-Congruence Format for EP-Bisimilarity;Electronic Proceedings in Theoretical Computer Science;2023-09-14
2. Formal Models of the OSPF Routing Protocol;Electronic Proceedings in Theoretical Computer Science;2020-04-26
3. A distributed API for coordinating AbC programs;International Journal on Software Tools for Technology Transfer;2020-02-28
4. Justness;Lecture Notes in Computer Science;2019
5. A Distributed Coordination Infrastructure for Attribute-Based Interaction;Formal Techniques for Distributed Objects, Components, and Systems;2018