Unique Parallel Decomposition for the Pi-calculus

Autor:	Lee, Matias David, Luttik, Bas
Rok vydání:	2016
Předmět:	Computer Science - Logic in Computer Science Computer Science - Programming Languages
Zdroj:	EPTCS 222, 2016, pp. 45-59
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.222.4
Popis:	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. Comment: In Proceedings EXPRESS/SOS 2016, arXiv:1608.02692
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1608.03128 Zobrazit plný text záznamu View this record from Arxiv