A Geometric Approach to the Problem of Unique Decomposition of Processes

DOI10.1007/978-3-642-15375-4_10zbMath1287.68119arXiv1004.2780OpenAlexW3099141991MaRDI QIDQ3584926

Thibaut Balabonski, E. Haucourt

Publication date: 31 August 2010

Published in: CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1004.2780

zbMATH Keywords

concurrencygeometric semanticsdecomposition of processesMilner problem

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Unique parallel decomposition in branching and weak bisimulation semantics ⋮ Unique decomposition of homogeneous languages and application to isothetic regions ⋮ The geometry of conservative programs

This page was built for publication: A Geometric Approach to the Problem of Unique Decomposition of Processes