Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference49 articles.
1. L. Acciai, M. Boreale, Xpi: a typed process calculus for XML messaging, in: Proceedings of FMOODS’05, vol. 3535 of LNCS, Springer, 2005, pp. 47–66.
2. On bisimulations for the asynchronous π-calculus;Amadio;Theoretical Computer Science,1998
3. JavaSpaces Principles, Patterns and Practice;Arnold,1999
4. An efficiency preorder for processes;Arun-Kumar;Acta Informatica,1992
5. G. Boudol, Asynchrony and the π-calculus (note), Rapport de Recherche 1702, INRIA Sophia-Antipolis, May 1992.
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Mixed choice in session types;Information and Computation;2024-06
2. A thesis for interaction;Theoretical Computer Science;2022-01
3. Counting nondeterministic computations;Theoretical Computer Science;2022-01
4. Graphic modeling in Distributed Autonomous and Asynchronous Automata (DA3);Software and Systems Modeling;2021-11-01
5. Replacement freeness: A criterion for separating process calculi;Journal of Logical and Algebraic Methods in Programming;2020-11