Author:
Degano Pierpaolo,Priami Corrado
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. M. Boreale and D. Sangiorgi. A fully abstract semantics of causality in the π-calculus. In Proceedings of STACS'95, LNCS. Springer Verlag, 1995.
2. G. Boudol and I. Castellani. A non-interleaving semantics for CCS based on proved transitions. Foundamenta Informaticae, XI(4):433–452, 1988.
3. G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn. A theory of processes with localities. Theoretical Computer Science, 114, 1993.
4. J. Camilleri. An operational semantics for occam. IJPP, 18, 1989.
5. R. Cleaveland and M. Hennessy. Priorities in process algebras. In Proceedings of LICS'89, pages 193–202, 1989.
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献