A monoidal closed category of event structures

DOI10.1007/3-540-55511-0_21zbMath1518.68133OpenAlexW1888854768MaRDI QIDQ6116584

No author found.

Publication date: 16 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-55511-0_21

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Cites Work

• Linear logic
• The system \({\mathcal F}\) of variable types, fifteen years later
• Petri nets, event structures and domains. I
• Stable neighbourhoods
• \(dI\)--domains as prime information systems
• From petri nets to linear logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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