Author:
Rensink Arend,Gorrieri Roberto
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference44 articles.
1. Towards action-refinement in process algebras;Aceto;Inform. and Comput.,1993
2. Adding action refinement to a finite process algebra;Aceto;Inform. and Comput.,1994
3. On guarded recursion;Badouel;Theoret. Comput. Sci.,1991
4. Abstraction and empty process in process algebra;Baeten;Fundamenta Inform.,1989
5. Process Algebra;Baeten,1990
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献