 |
|
|
|
| HAL : hal-00089219, version 3 |
| arXiv : cs.LO/0608059 |
| Fiche détaillée |  Récupérer au format |
|
|
| Versions disponibles : | v1 (14-08-2006) | v2 (16-08-2006) | v3 (17-08-2006) |
|
|
|
|
| A Distribution Law for CCS and a New Congruence Result for the pi-calculus |
|
|
| Daniel Hirschkoff 1Damien 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 |
|
|
| CCS – pi-calculus – bisimilarity – congruence – axiomatisation |
|
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
||||||||||
|
|
|
| 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 | |
