Skip to Main content Skip to Navigation
New interface
Conference papers

A Geometric Approach to the Problem of Unique Decomposition of Processes

Abstract : This paper proposes a geometric solution to the problem of prime decomposability of concurrent processes first explored by R. Milner and F. Moller. Concurrent programs are given a geometric semantics using cubical areas, for which a unique factorization theorem is proved. An effective factorization method which is correct and complete with respect to the geometric semantics is derived from the factorization theorem. This algorithm is implemented in the static analyzer ALCOOL.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00527878
Contributor : Thibaut Balabonski Connect in order to contact the contributor
Submitted on : Wednesday, October 20, 2010 - 3:18:05 PM
Last modification on : Friday, February 18, 2022 - 3:37:03 AM

Identifiers

  • HAL Id : hal-00527878, version 1

Collections

Citation

Thibaut Balabonski, Emmanuel Haucourt. A Geometric Approach to the Problem of Unique Decomposition of Processes. CONCUR5 2010 - Concurrency Theory, Aug 2010, Paris, France. pp.132-146. ⟨hal-00527878⟩

Share

Metrics

Record views

43