Strategies as sheaves and interactive equivalences for CCS - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2011

Strategies as sheaves and interactive equivalences for CCS

Tom Hirschowitz
Damien Pous

Résumé

Joyal, Nielsen and Winskel have proposed to interpret concurrent processes as presheaves over categories of observations. We propose a new category of observations for Milner's Calculus of Communicating Systems (CCS), which we equip with a Grothendieck topology. We propose to consider as a model for CCS processes not merely presheaves, but sheaves on this category. This model altogether forms a stack (a weak form of sheaf), which yields an intrinsic notion of interaction by amalgamation. In this setting, and mimicking observational equivalences, we then define a notion of interactive equivalence for processes. We consider two instances, the respective analogues of must and fair testing in CCS (De Nicola and Hennessy), and show that they coincide.
Fichier principal
Vignette du fichier
soko.pdf (195.57 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00555144 , version 1 (12-01-2011)
hal-00555144 , version 2 (20-09-2011)
hal-00555144 , version 3 (12-12-2012)

Identifiants

  • HAL Id : hal-00555144 , version 1

Citer

Tom Hirschowitz, Damien Pous. Strategies as sheaves and interactive equivalences for CCS. 2011. ⟨hal-00555144v1⟩
438 Consultations
317 Téléchargements

Partager

Gmail Facebook X LinkedIn More