 |
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
 |
|
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
|
| HAL: hal-00147008, version 1 |
| Detailed view |  Export this paper |
 |
| ACM Transactions on Programming Languages and Systems 25, 5 (2003) 549-577 |
|
|
|
|
| The receptive distributed pi-calculus |
|
|
| Roberto Amadio 1Gérard Boudol 2 |
|
|
| (2003-09-15) |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Laboratoire d'informatique Fondamentale de Marseille (LIF) |
|
|
|
CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I |
|
|
| 2: | MIMOSA (INRIA Sophia Antipolis) |
|
|
|
INRIA – Université de Provence - Aix-Marseille I – MINES ParisTech - École nationale supérieure des mines de Paris |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Logic in Computer Science |
| hal-00147008, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00147008 | |
| oai:hal.archives-ouvertes.fr:hal-00147008 | |
| From: Roberto Amadio | |
| Submitted on: Tuesday, 15 May 2007 16:13:26 | |
| Updated on: Friday, 16 April 2010 16:41:35 | |
