Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation

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 Pi-Calculus: We show that a closed finite process P can be decomposed uniquely into prime factors Pi with respect to weak labeled bisimilarity, i.e. such that P = P1 | ... | Pn . We also prove that closed normed processes (i.e. processes with a finite shortest trace) can be decomposed uniquely with respect to strong labeled bisimilarity.
Document type :
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Jannik Dreier Connect in order to contact the contributor
Submitted on : Tuesday, June 28, 2016 - 5:07:01 PM
Last modification on : Friday, January 21, 2022 - 3:09:00 AM
Long-term archiving on: : Thursday, September 29, 2016 - 10:36:17 AM


Files produced by the author(s)


  • HAL Id : hal-01338012, version 1


Jannik Dreier, Cristian Ene, Pascal Lafourcade, yassine Lakhnech. On Unique Decomposition of Processes in the Applied π-Calculus. [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2012. ⟨hal-01338012⟩



Record views


Files downloads