On Unique Decomposition of Processes in the Applied π-Calculus

Jannik Dreier 1 Cristian Ene 2 Pascal Lafourcade 3 Yassine Lakhnech 2
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : 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.
Type de document :
Communication dans un congrès
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. 2013, 〈10.1007/978-3-642-37075-5_4〉
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01338002
Contributeur : Jannik Dreier <>
Soumis le : lundi 27 juin 2016 - 16:42:16
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Fichier

fossacs2013.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

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. 2013, 〈10.1007/978-3-642-37075-5_4〉. 〈hal-01338002〉

Partager

Métriques

Consultations de la notice

574

Téléchargements de fichiers

63