Author:
de Frutos Escrig David,Gregorio Rodríguez Carlos
Subject
General Computer Science,Theoretical Computer Science
Reference19 articles.
1. 2-nested simulation is not finitely equationally axiomatizable;Aceto,2001
2. Nested semantics over finite tree are equationally hard;Aceto;Information and Computation,2004
3. Bisimulation can't be traced;Bloom;Journal of the ACM,1995
4. Testing equivalence as a bisimulation equivalence;Cleaveland;Formal Aspects of Computing,1992
5. The concurrency workbench: a semantics-based tool for the verification of concurrent systems;Cleaveland;ACM Trans. Program. Lang. Syst.,1993
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献