Author:
De Nicola Rocco,Ferrari GianLuigi,Pugliese Rosario
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. R. Amadio, I. Castellani, D. Sangiorgi. On Bisimulation for the Asynchronous π-calculus. In Proc. of CONCUR'96, LNCS 1119, 1996.
2. R. Amadio, S. Prasad. Localities and Failures. In Proc. of FCT&TCS 14 LNCS 880, 1994.
3. E. Astesiano, G. Reggio. SMoLCS Driven Concurrent Calculi In Proc. of TAPSOFT'87, LNCS 249, 1987.
4. G. Berry, G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96:217–248, 1992.
5. G. Boudol, I. Castellani, M. Hennessy, A. Kiehn. Observing Localities. Theoretical Computer Science, 114, 1993.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. X-Klaim Is Back;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
2. Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra;Concurrency, Graphs and Models;2008
3. Actors for Mobile Ad-Hoc Networks;Embedded and Ubiquitous Computing;2004
4. The Klaim Project: Theory and Practice;Global Computing. Programming Environments, Languages, Security, and Analysis of Systems;2003
5. An Overview of Mobile Object-Z;Formal Methods and Software Engineering;2002