On Unique Decomposition of Processes in the Applied π-Calculus - Archive ouverte HAL Access content directly
Reports (Technical Report) Year : 2012

On Unique Decomposition of Processes in the Applied π-Calculus

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.
Fichier principal
Vignette du fichier
TR-2012-3.pdf (475.03 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01338012 , version 1 (28-06-2016)

Identifiers

  • HAL Id : hal-01338012 , version 1

Cite

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⟩
360 View
71 Download

Share

Gmail Facebook Twitter LinkedIn More