On Unique Decomposition of Processes in the Applied π-Calculus - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

On Unique Decomposition of Processes in the Applied π-Calculus

Résumé

Unique decomposition has been a subject of interest in process algebra for a long time (for example in BPP or CCS), as it provides a normal form with useful cancellation properties. We provide two parallel decomposition results for subsets of the Applied π-Calculus: we show that any closed normed (i.e. with a finite shortest complete trace) process P can be decomposed uniquely into prime factors Pi with respect to strong labeled bisimilarity, i.e. such that P ∼ l P1|. .. |Pn. We also prove that closed finite processes can be decomposed uniquely with respect to weak labeled bisimilarity.
Fichier principal
Vignette du fichier
fossacs2013.pdf (370.03 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01338002 , version 1 (27-06-2016)

Identifiants

Citer

Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech. On Unique Decomposition of Processes in the Applied π-Calculus. 16th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2013), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2013), Mar 2013, Rome, Italy. ⟨10.1007/978-3-642-37075-5_4⟩. ⟨hal-01338002⟩
517 Consultations
105 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More