A Geometric Approach to the Problem of Unique Decomposition of Processes

Thibaut Balabonski, Emmanuel Haucourt

This paper proposes a geometric solution to the problem of prime decomposability of concurrent processes first explored by R. Milner and F. Moller in [MM93]. Concurrent programs ar…