Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Aceto, L., Fokkink, W.J., Ingólfsdóttir, A., Luttik, B.: A finite equational base for CCS with left merge and communication merge. ACM Trans. Comput. Log. 10(1) (2009)
2. Lecture Notes in Computer Science;T. Balabonski,2010
3. Basten, T.: Branching bisimilarity is an equivalence indeed? Information Processing Letters 58(3), 141–147 (1996)
4. Castellani, I., Hennessy, M.: Distributed bisimulations. J. ACM 36(4), 887–911 (1989)
5. Christensen, S.: Decidability and Decomposition in Process Algebras. PhD thesis, University of Edinburgh (1993)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献