Author:
Basu Samik,Mukund Madhavan,Ramakrishnan C. R.,Ramakrishnan I. V.,Verma Rakesh
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. CADP. Caesar/Aldebaran Development Package c1.112, 2001. Available from http://www.inrialpes.fr/vasy/cadp.html .
2. B. Cui and D.S. Warren. A system for tabledconstraint logic programming. In Computational Logic, pages 478–492, 2000.
3. CWB-NC. The Concurrency Workbench of New Century v1.1.1, 2001. Available from http://www.cs.sunysb.edu/~cwb .
4. M. Hennessy and H. Lin. Symbolic bisimulations. Theoretical Computer Science, 138:353–389, 1995.
5. P.C. Kanellakis and S.A. Smolka. CCS expressions, finite state processes, andthree problems of equivalence. Information and Computation, 86(1):43–68, May 1990.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献