Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Tommaso Bolognesi and Ed Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25–59, 1987.
2. Bard Bloom, Sorin Istrail, and Albert R. Meyer. Bisimulation can't be traced (preliminary report). In Proceedings of POPL 1988, pages 229–239. IEEE Press, 1988.
3. Bard Bloom. Structural operational semantics for weak bisimulations. Technical Report TR 93-1373, Cornell, August 1993. To appear in Theoretical Computer Science.
4. Bard Bloom. Structural operational semantics considered as a specification language. In Proceedings of POPL 1995, pages 107–117. IEEE Press, 1995.
5. G. Boudol. Notes on algebraic calculi of processes. In K. Apt, editor, Logics and Models of Concurrent Systems, pages 261–303. Springer-Verlag, 1985. NATO ASI Series F13.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Coupled similarity: the first 32 years;Acta Informatica;2019-11-28
2. On the axiomatisability of priority;Mathematical Structures in Computer Science;2008-02
3. Bisimilarity Is Not Finitely Based over BPA with Interrupt;Algebra and Coalgebra in Computer Science;2005
4. On the expressive power of CCS;Lecture Notes in Computer Science;1995