Unique Parallel Decomposition for the Pi-calculus

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 th...

Full description

Bibliographic Details
Main Authors: Matias David Lee, Bas Luttik
Format: Article
Language:English
Published: Open Publishing Association 2016-08-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1608.03128v1
id doaj-bf455809fb3a421185d4c65664b62986
record_format Article
spelling doaj-bf455809fb3a421185d4c65664b629862020-11-25T00:39:08ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802016-08-01222Proc. EXPRESS/SOS 2016455910.4204/EPTCS.222.4:3Unique Parallel Decomposition for the Pi-calculusMatias David Lee0Bas Luttik1 Univ. Lyon, ENS de Lyon, CNRS, UCB Lyon 1, LIP, France. 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.http://arxiv.org/pdf/1608.03128v1
collection DOAJ
language English
format Article
sources DOAJ
author Matias David Lee
Bas Luttik
spellingShingle Matias David Lee
Bas Luttik
Unique Parallel Decomposition for the Pi-calculus
Electronic Proceedings in Theoretical Computer Science
author_facet Matias David Lee
Bas Luttik
author_sort Matias David Lee
title Unique Parallel Decomposition for the Pi-calculus
title_short Unique Parallel Decomposition for the Pi-calculus
title_full Unique Parallel Decomposition for the Pi-calculus
title_fullStr Unique Parallel Decomposition for the Pi-calculus
title_full_unstemmed Unique Parallel Decomposition for the Pi-calculus
title_sort unique parallel decomposition for the pi-calculus
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2016-08-01
description 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.
url http://arxiv.org/pdf/1608.03128v1
work_keys_str_mv AT matiasdavidlee uniqueparalleldecompositionforthepicalculus
AT basluttik uniqueparalleldecompositionforthepicalculus
_version_ 1725294956875087872

Similar Items