Unique Parallel Decomposition for the Pi-calculus

A (fragment of a) process algebra satisfies unique parallel decomposition if the definable behaviours admit a unique decomposition into indecomposable parallel components. In this paper we prove that finite processes of the pi-calculus, i.e. processes that perform no infinite executions, satisfy thi...

Full description

Saved in:
Bibliographic Details
Published in:Electronic proceedings in theoretical computer science 2016-08, Vol.222 (Proc. EXPRESS/SOS 2016), p.45-59
Main Authors: Lee, Matias David, Luttik, Bas
Format: Article
Language:English
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A (fragment of a) process algebra satisfies unique parallel decomposition if the definable behaviours admit a unique decomposition into indecomposable parallel components. In this paper we prove that finite processes of the pi-calculus, i.e. processes that perform no infinite executions, satisfy this property modulo strong bisimilarity and weak bisimilarity. Our results are obtained by an application of a general technique for establishing unique parallel decomposition using decomposition orders.
ISSN:2075-2180
2075-2180
DOI:10.4204/EPTCS.222.4