Author:
Hennessy Matthew,Rathke Julian
Subject
General Computer Science,Theoretical Computer Science
Reference26 articles.
1. On bisimulations for the asynchronous π-calculus;Roberto Amadio;Theoretical Computer Science,1998
2. M. Boreale and D. Sangiorgi. Bisimulation in name-passing calculi without matching. In Proc. 13th LICS Conf. IEEE Computer Society Press, 1998.
3. G. Boudol. Typing the use of resources in a concurrent calculus. In Proceedings of the ASIAN'97, number 1345 in Lecture Notes in Computer Science, pages 239–253, 1997.
4. The concurrency workbench: A semantics based verification tool for finite state systems;Cleaveland;ACM Transactions on Programming Systems,1989
5. Rance Cleaveland. The concurrency factory: A development environment for concurrent systems. In R. Alur and T. Henzinger, editors, Proceedings of CAV'96, volume 1102 of Lecture Notes in Computer Science, pages 398–401. Springer-Verlag, 1988.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献