Unique Parallel Decomposition for the Pi-calculus

10 Aug 2016 · Lee Matias David Univ. Lyon, ENS de Lyon, CNRS, UCB Lyon 1, LIP, France., Luttik Bas Eindhoven University of Technology, The Netherlands. ·

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.

PDF Abstract

Code

Add Remove Mark official

No code implementations yet. Submit your code now

Datasets

Add Datasets introduced or used in this paper

Edit Social Preview

Unique Parallel Decomposition for the Pi-calculus

Code Edit Add Remove Mark official

Categories

Datasets Edit

Code

Add Remove Mark official

Datasets