Author:
Lanese Ivan,Pérez Jorge A.,Sangiorgi Davide,Schmitt Alan
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Palamidessi, C.: Comparing the expressive power of the synchronous and asynchronous pi-calculi. Mathematical Structures in Computer Science 13(5), 685–719 (2003)
2. Nestmann, U.: What is a good encoding of guarded choice? Inf. Comput.??156(1-2), 287???319 (2000);
3. A preliminary version appeared in EXPRESS (1997)
4. Cacciagrano, D., Corradini, F., Palamidessi, C.: Separation of synchronous and asynchronous communication via testing. Theor. Comput. Sci. 386(3), 218–235 (2007)
5. Boudol, G.: Asynchrony and the π-calculus (note). Technical report, Rapport de Recherche 1702, INRIA, Sophia-Antipolis (1992)
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献