On the reduction of chocs bisimulation to pi-calculus bisimulation

Abstract : Chocs and p-calculus are two extensions of CCS where, respectively processes and channels are transmissible values. In previous work we have proposed a formalization of the notion of bisimulation for Chocs. In this paper we suggest a more effective way to reason about this notion by means of a translation of Chocs into a variant of the p-calculus
Type de document :
Rapport
[Research Report] RR-1786, INRIA. 1992
Liste complète des métadonnées

https://hal.inria.fr/inria-00077026
Contributeur : Rapport de Recherche Inria <>
Soumis le : lundi 29 mai 2006 - 11:55:16
Dernière modification le : samedi 17 septembre 2016 - 01:06:54
Document(s) archivé(s) le : vendredi 13 mai 2011 - 22:36:32

Fichiers

Identifiants

  • HAL Id : inria-00077026, version 1

Collections

Citation

Roberto M. Amadio. On the reduction of chocs bisimulation to pi-calculus bisimulation. [Research Report] RR-1786, INRIA. 1992. 〈inria-00077026〉

Partager

Métriques

Consultations de la notice

68

Téléchargements de fichiers

41