Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference13 articles.
1. Process Algebra;Baeten,1990
2. Structural operational semantics for weak bsimulations;Bloom;Theoret. Comput. Sci.,1995
3. τ-bisimulations and full abstraction for refinement of actions;Cherief;Inform. Process. Lett.,1990
4. About semantic action refinement;Darondeau;Fund. Inform.,1991
5. Back and forth bisimulations;De Nicola,1990
Cited by
70 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献