Author:
Victor Björn,Parrow Joachim
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Y. Fu. A proof-theoretical approach to communication. In P. Degano, R. Gorrieri and A. Marchetti-Spaccamela, editors, Proceedings of ICALP '97, volume 1256 of LNCS, pages 325–335. Springer, 1997.
2. D. Li. A π-calculus specification of Prolog. In D. Sannella, editor, Proceedings of ESOP '04, volume 788 of LNCS, pages 379–393. Springer, 1994.
3. R. Milner. Functions as processes. Journal of Mathematical Structures in Computer Science, 2(2):119–141, 1992.
4. R. Milner, J. Parrow and D. Walker. A calculus of mobile processes, Parts I and II. Journal of Information and Computation, 100:1–77, Sept. 1992.
5. R. Milner and D. Sangiorgi. Barbed bisimulatiou. In W. Kuich, editor, Proceedings of ICALP '92, volume 623 of LNCS, pages 685–695. Springer, 1992.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献