The Boolean algebra of cubical areas as a tensor product in the category of semilattices with zero

MaRDI QIDQ5216079zbMATH OpenFDO

Authors Nicolas Ninin, Emmanuel Haucourt

Publication date 14 February 2020

Full work available at URL https://arxiv.org/abs/1410.7470, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2014.7

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semilattices (06A12) Structure theory of Boolean algebras (06E05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Formal relationships between geometrical and classical models for concurrency
• Concurrent Kleene algebra and its foundations
• scientific article; zbMATH DE number 4074455
• Algebraic topology and concurrency
• Some geometric perspectives in concurrency theory

Cited in

(1)

• Squares and rectangles in relation categories. Three cases: Semilattice, distributive lattice and Boolean non-unitary

This page was built for publication: The Boolean algebra of cubical areas as a tensor product in the category of semilattices with zero

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5216079)