A Cartesian closed category of event structures with

MaRDI QIDQ5387678zbMATH OpenFDO

Authors Samy Abbes

Publication date 27 May 2008

Full work available at URL https://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/issue/view/82/showToc.html

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A monoidal closed category of event structures
• scientific article; zbMATH DE number 1361142
• Event structures with symmetry
• Some monoidal closed categories of stable domains and event structures
• Towards a categorical representation of reversible event structures

Cited in

(5)

• What topology tells us about diagnosability in partial order semantics
• scientific article; zbMATH DE number 1361142 (Why is no real title available?)
• Some monoidal closed categories of stable domains and event structures
• scientific article; zbMATH DE number 1390076 (Why is no real title available?)
• A monoidal closed category of event structures

This page was built for publication: A Cartesian closed category of event structures with

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