Unique decomposition of homogeneous languages and application to isothetic regions

[1]  Reinhard Diestel,et al.  Graph-theoretical versus topological ends of graphs , 2003, J. Comb. Theory, Ser. B.

[2]  Tensor Products of semilattices and distributive lattices , 1976 .

[3]  Emmanuel Haucourt,et al.  The geometry of conservative programs , 2017, Mathematical Structures in Computer Science.

[4]  Eric Goubault,et al.  Algebraic topology and concurrency , 2006, Theor. Comput. Sci..

[5]  Pierre Antoine Grillet,et al.  The tensor product of semigroups , 1969 .

[6]  Arie Shoshani,et al.  System Deadlocks , 1971, CSUR.

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

[8]  The De Rham Decomposition Theorem For Metric Spaces , 2006, math/0605419.

[9]  M. Grandis.  Directed Algebraic Topology: Models of Non-Reversible Worlds , 2009 .

[10]  R. Sikorski.  Cartesian products of Boolean algebras , 1950 .

[11]  Sanjeevi Krishnan,et al.  A Convenient Category of Locally Preordered Spaces , 2007, Appl. Categorical Struct..

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

[13]  Jussi Ketonen,et al.  The Structure of Countable Boolean Algebras , 1978 .

[14]  The semilattice tensor product of distributive lattices , 1976 .

[15]  Alfred Geroldinger,et al.  Non-Unique Factorizations : Algebraic, Combinatorial and Analytic Theory , 2006 .

[16]  Emmanuel Haucourt,et al.  Some Invariants of Directed Topology towards a Theoretical Base for a Static Analyzer Dealing with Fine-Grain Concurrency , 2016 .

[17]  Marco Grandis,et al.  Directed homotopy theory, I , 2003 .

[18]  Pierre Antoine Grillet,et al.  The tensor product of commutative semigroups , 1969 .

[19]  Emmanuel Haucourt,et al.  The Boolean Algebra of Cubical Areas as a Tensor Product in the Category of Semilattices with Zero , 2014, ICE.

[20]  Vaughan R. Pratt,et al.  Higher dimensional automata revisited , 2000, Mathematical Structures in Computer Science.

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