A Geometric Approach to the Problem of Unique Decomposition of Processes
Logic in Computer Science
2015-05-18 v1
Abstract
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 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.
Keywords
Cite
@article{arxiv.1004.2780,
title = {A Geometric Approach to the Problem of Unique Decomposition of Processes},
author = {Thibaut Balabonski and Emmanuel Haucourt},
journal= {arXiv preprint arXiv:1004.2780},
year = {2015}
}
Comments
15 pages