HAL : hal-00089219, version 3

arXiv : cs.LO/0608059

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

Versions disponibles :

v3 (17-08-2006)

A Distribution Law for CCS and a New Congruence Result for the pi-calculus

Daniel Hirschkoff 1, Damien Pous 1

(12/08/2006)

We give an axiomatisation of strong bisimilarity on a small fragment of CCS that does not feature the sum operator. This axiomatisation is then used to derive congruence of strong bisimilarity in the finite pi-calculus in absence of sum. To our knowledge, this is the only nontrivial subcalculus of the pi-calculus that includes the full output prefix and for which strong bisimilarity is a congruence.

1 :	Laboratoire de l'Informatique du Parallélisme (LIP)
	Université de Lyon – CNRS : UMR5668 – INRIA – École Normale Supérieure - Lyon – Université Claude Bernard - Lyon I

Domaine

:

Informatique/Logique en informatique

Mots Clés : CCS – pi-calculus – bisimilarity – congruence – axiomatisation

hal-00089219, version 3

http://hal.archives-ouvertes.fr/hal-00089219

oai:hal.archives-ouvertes.fr:hal-00089219

Contributeur : Daniel Hirschkoff <>

Soumis le : Jeudi 17 Août 2006, 08:56:27

Dernière modification le : Jeudi 17 Août 2006, 09:06:18