Situated transition systems

MaRDI QIDQ6153330zbMATHFDO

Authors Chad Nester

Publication date 13 February 2024

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Monoidal categories, symmetric monoidal categories (18M05)

Recommendations

• Concurrent Process Histories and Resource Transducers
• Double categories of open dynamical systems (extended abstract)
• State-transition categories
• Sheaves and Structures of Transition Systems
• Open Petri nets

Cites work

• scientific article; zbMATH DE number 3783245 (Why is no real title available?)
• scientific article; zbMATH DE number 1107620 (Why is no real title available?)
• scientific article; zbMATH DE number 2139647 (Why is no real title available?)
• A mathematical theory of resources
• Algebra and Coalgebra in Computer Science
• Catégories structurées
• CospanSpan(Graph): a compositional description of the heart system
• Framed bicategories and monoidal fibrations
• Intercategories: a framework for three-dimensional category theory
• Model structures on the category of small double categories
• The geometry of tensor calculus. I
• Traced monoidal categories
• What is a free double category like?

Cited in

(1)

• Concurrent Process Histories and Resource Transducers

This page was built for publication: Situated transition systems

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