A Geometric Approach to the Problem of Unique Decomposition of Processes

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.

[1]  Eric Goubault,et al.  A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs , 2005, CONCUR.

[2]  Bas Luttik,et al.  Decomposition orders another generalisation of the fundamental theorem of arithmetic , 2004, Theor. Comput. Sci..

[3]  Marco Roccetti,et al.  Performance preorder and competitive equivalence , 1997, Acta Informatica.

[4]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[5]  Samson Abramsky,et al.  Handbook of logic in computer science. , 1992 .

[6]  Vincent Danos,et al.  Transactions in RCCS , 2005, CONCUR.

[7]  W. Browder,et al.  Annals of Mathematics , 1889 .

[8]  Unique decomposition of processes , 1990, Bull. EATCS.

[9]  Amir Pnueli,et al.  Orthogonal Polyhedra: Representation and Computation , 1999, HSCC.

[10]  Eric Goubault,et al.  Components of the Fundamental Category II , 2007, Appl. Categorical Struct..

[11]  A. Haefliger,et al.  Group theory from a geometrical viewpoint , 1991 .

[12]  Edsger W. Dijkstra,et al.  Cooperating sequential processes , 2002 .

[13]  CONCUR '92 , 1992, Lecture Notes in Computer Science.

[14]  Tadasi Nakayama,et al.  On a problem of G. Birkhoff , 1950 .

[15]  Mogens Nielsen,et al.  Models for Concurrency , 1992 .

[16]  André Haefliger.  Extension of complexes of groups , 1992 .

[17]  Dov M. Gabbay,et al.  Handbook of logic in computer science (vol. 4): semantic modelling , 1995 .

[18]  L. Nachbin.  Topology and order , 1965 .

[19]  Emmanuel Haucourt,et al.  CATEGORIES OF COMPONENTS AND LOOP-FREE CATEGORIES , 2006 .

[20]  Fahd Ali Al-Agl,et al.  Theory and Applications of Categories , 1993 .

[21]  S. Crawford,et al.  Volume 1 , 2012, Journal of Diabetes Investigation.

[22]  Paul F. Reynolds,et al.  The geometry of semaphore programs , 1987, TOPL.

[23]  Faron Moller,et al.  Verification of Parallel Systems via Decomposition , 1992, CONCUR.

[24]  Junji Hashimoto.  On Direct Product Decomposition of Partially Ordered Sets , 1951 .