A Uniform presentation of chocs and p-calculus

Abstract : We present a generic calculus of "mobile" processes intended as language, labelled transition system, and bisimulation. The distinctive feature of this presentation is an explicit treatment of contexts. Calculi having processes (CHOCS) or channels (p-calculus) as transmissible values are obtained as instances of the generic calculus. Our main tecnical contributions are : - a needed weakening of the notion of bisimulation for CHOCS and a new characterization of p-calculus bisimulation. - a sufficint condition for checking the bisimilarity of CHOCS processes via a standard translation into the p-calculus. - a uniform notion of bisimulation for the p-calculus.
Type de document :
Rapport
[Research Report] RR-1726, INRIA. 1992
Liste complète des métadonnées

https://hal.inria.fr/inria-00076965
Contributeur : Rapport de Recherche Inria <>
Soumis le : lundi 29 mai 2006 - 11:42:17
Dernière modification le : samedi 17 septembre 2016 - 01:06:46
Document(s) archivé(s) le : vendredi 13 mai 2011 - 22:15:53

Fichiers

Identifiants

  • HAL Id : inria-00076965, version 1

Collections

Citation

Roberto M. Amadio. A Uniform presentation of chocs and p-calculus. [Research Report] RR-1726, INRIA. 1992. 〈inria-00076965〉

Partager

Métriques

Consultations de la notice

201

Téléchargements de fichiers

98