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