Subject
General Computer Science,Theoretical Computer Science
Reference25 articles.
1. CCS with Hennessy's merge has no finite equational axiomatization;Aceto;Theoret. Comput. Sci.,2005
2. A finite equational base for CCS with left merge and communication merge;Aceto;ACM Trans. Comput. Log.,2009
3. Finite equational bases for fragments of CCS with restriction and relabelling;Aceto,2008
4. A geometric approach to the problem of unique decomposition of processes;Balabonski,2010
5. Branching bisimilarity is an equivalence indeed!;Basten;Inform. Process. Lett.,1996
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献