| Type de publication : |
 |
Preprint, Working Paper, Document sans référence, etc. |
|
| Domaine : |
|
Informatique/Logique en informatique
|
|
| Titre : |
|
A Distribution Law for CCS and a New Congruence Result for the pi-calculus |
|
| Auteur(s) : |
|
Daniel Hirschkoff ( ) 1, Damien Pous () 1 |
|
| Laboratoire : |
|
|
|
| Résumé : |
|
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. |
|
Langue du texte
intégral : |
|
Anglais |
|
|
| Mots Clés : |
|
CCS – pi-calculus – bisimilarity – congruence – axiomatisation |
|
| Classification : |
|
ACM F.3.2 |
|
| Commentaire : |
|
15 pages |
|
|
Récupérer au format
