Article Dans Une Revue
ACM Transactions on Programming Languages and Systems (TOPLAS)
Année : 2003
Roberto M. Amadio : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00147008
Soumis le : mardi 15 mai 2007-16:13:26
Dernière modification le : vendredi 24 mars 2023-14:52:48
Dates et versions
Identifiants
- HAL Id : hal-00147008 , version 1
Citer
Roberto Amadio, Gérard Boudol, Cédric Lhoussaine. The receptive distributed pi-calculus. ACM Transactions on Programming Languages and Systems (TOPLAS), 2003, 25 (5), pp.549-577. ⟨hal-00147008⟩
Collections
149
Consultations
0
Téléchargements