Author:
Boulgakov Alexandre,Gibson-Robinson Thomas,Roscoe A. W.
Publisher
Springer International Publishing
Reference19 articles.
1. Park, D.: Concurrency and automata on infinite sequences. Springer, Heidelberg (1981)
2. Lecture Notes in Computer Science;R. Milner,1981
3. van Glabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisimulation semantics. J. ACM 43, 555–600 (1996)
4. Phillips, I., Ulidowski, I.: Ordered SOS rules and weak bisimulation. In: Theory and Formal Methods (1996)
5. Sangiorgi, D.: A theory of bisimulation for the π-calculus. Acta informatica 33(1), 69–97 (1996)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献