Frances E. Allen (1970):
Control flow analysis.
In: ACM SIGPLAN Notices - Proceedings of a symposium on Compiler optimization 5.
Association for Computing Machinery.
Association for Computing Machinery,
pp. 1–19,
doi:10.1145/390013.808479.
James A. Anderson & Naoki Kimura (1978):
The tensor product of semilattices.
Semigroup Forum 16,
pp. 83–88,
doi:10.1007/BF02194615.
Thibaut Balabonski & Emmanuel Haucourt (2010):
A Geometric Approach to the problem of Unique Decomposition of Processes.
In: Concurrency Theory 21th International Conference,
Lecture Notes in Computer Science 6269.
Springer,
pp. 132–146,
doi:10.1007/978-3-642-15375-4_10.
Francis Borceux (1994):
Handbook of Categorical Algebra, II. Categories and Structures.
Encyclopedia of Mathematics and its Applications 51.
Cambridge University Press,
doi:10.1017/CBO9780511525865.
Scott David Carson & Paul F. Reynolds Jr. (1987):
The Geometry of Semaphore Programs.
ACM Transactions on Programming Languages and Systems 9(1),
pp. 25–53,
doi:10.1145/9758.9759.
Edsger Wybe Dijkstra (1968):
Cooperating sequential processes.
In: F. Genuys: Programming Languages: NATO Advanced Study Institute.
Academic Press,
pp. 43–112.
Lisbeth Fajstrup, Eric Goubault & Martin Raußen (2006):
Algebraic Topology and Concurrency.
Theoretical Computer Science 357(1),
pp. 241–278,
doi:10.1016/j.tcs.2006.03.022.
Presented at Mathematical Foundations of Computer Science in 1998 (London).
Grant A. Fraser (1976):
The semilattice tensor product of distributive lattices.
Transactions of the American Mathematical Society 217,
doi:10.1090/S0002-9947-1976-0392728-8.
Grant A. Fraser (1976):
The tensor product of distributive lattices 20.
Edinburgh Mathematical Society,
doi:10.1017/S0013091500010622.
Grant A. Fraser (1978):
The tensor product of semilattices.
Algebra Universalis 8,
pp. 1–3,
doi:10.1007/BF02485362.
Marco Grandis (2003):
Directed Homotopy Theory, I. The Fundamental Category.
Cahiers de Topologie et Géométrie Différentielle Catégoriques 44(4),
pp. 281–316.
George Grätzer, H. Lakser & R. Quackenbush (1981):
The structure of tensor products of semilattices with zero.
Transactions of the American Mathematical Society 267(2),
pp. 503–515,
doi:10.1090/S0002-9947-1981-0626486-8.
George Grätzer & Friedrich Wehrung (2000):
Tensor products of semilattices with zero, revisited.
Journal of Pure and Applied Algebra 147,
pp. 273–301,
doi:10.1016/S0022-4049(98)00145-5.
Sanjeevi Krishnan (2009):
A Convenient Category of Locally Preordered Spaces.
Applied Categorical Structures 17(5),
pp. 445–466,
doi:10.1007/s10485-008-9140-9.
Vaughan Pratt (1991):
Modeling Concurrency with Geometry.
In: Proc. 18th Ann. ACM Symposium on Principles of Programming Languages,
pp. 311–322,
doi:10.1145/99583.99625.
Vaughan Pratt (2000):
Higher dimensional automata revisited.
Mathematical Structures in Computer Science 10(4),
pp. 525–548,
doi:10.1017/S0960129500003169.
Zahava Shmuely (1979):
The tensor product of distributive lattices.
Algebra Universalis 9,
pp. 281–296,
doi:10.1007/BF02488040.
eptcs@eptcs.org