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

zbMATH Open1433.68256arXiv1410.7470MaRDI QIDQ5216079FDOQ5216079

Authors: Nicolas Ninin, Emmanuel Haucourt 

Publication date: 14 February 2020

Full work available at URL: https://arxiv.org/abs/1410.7470

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

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)

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)