Observing distribution in processes : static and dynamic localities

Ilaria Castellani 1
1 MEIJE - Concurrency, Synchronization and Real-time Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : The distributed structure of CCS processes can be made explicit by assigning different locations to their parallel components. The assignment of locations may be done statically, or dynamically as the execution proceeds. The dynamic approach was developed first, by Boudol et al., as it appeared more convenient for defining notions of location equivalence and preorder. Extending previous work by L. Aceto we study here the static approach, which is more natural from an intuitive point of view, and more manageable for verification purposes. We define static notions of location equivalence and preorder, and show that they coincide with the dynamic ones. To establish the equivalence of the two location semantics, we introduce an intermediate transition system called occurrence system, which incorporates both notions of locality. This system supports a definition of local history preserving bisimulation for CCS, which is a third formulation of location equivalence.
Type de document :
Rapport
RR-2276, INRIA. 1994
Liste complète des métadonnées

https://hal.inria.fr/inria-00074395
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 15:12:57
Dernière modification le : samedi 27 janvier 2018 - 01:31:28
Document(s) archivé(s) le : lundi 5 avril 2010 - 00:09:05

Fichiers

Identifiants

  • HAL Id : inria-00074395, version 1

Collections

Citation

Ilaria Castellani. Observing distribution in processes : static and dynamic localities. RR-2276, INRIA. 1994. 〈inria-00074395〉

Partager

Métriques

Consultations de la notice

89

Téléchargements de fichiers

122