Author:
Gardner Philippa,Laneve Cosimo,Wischik Lucian
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference40 articles.
1. An asynchronous model of locality, failure, and process mobility;Amadio,1997
2. The receptive distributed pi-calculus (extended abstract);Amadio,1999
3. Roberto Amadio, Sanjiva Prasad, Localities and failures (extended abstract), in: Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science, vol. 880, Springer, 1994, pp. 205–216.
4. On bisimulations for the asynchronous π-calculus;Amadio;Theoretical Computer Science,1998
5. Basic theory of reduction congruence for two timed asynchronous π-calculi;Berger,2004
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Linearity, Control Effects, and Behavioral Types;Programming Languages and Systems;2017
2. Multiparty Sessions based on Proof Nets;Electronic Proceedings in Theoretical Computer Science;2014-06-12
3. A Flat Process Calculus for Nested Membrane Interactions;Scientific Annals of Computer Science;2014
4. Open Multiparty Interaction;Recent Trends in Algebraic Development Techniques;2013
5. PiDuce — A project for experimenting Web services technologies;Science of Computer Programming;2009-08