Situated transition systems

zbMATH Open1530.18023arXiv2105.04355MaRDI QIDQ6153330FDOQ6153330

Authors: Chad Nester 

Publication date: 13 February 2024

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

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

Mathematics Subject Classification ID

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

Cites Work

• The geometry of tensor calculus. I
• Traced monoidal categories
• Title not available (Why is that?)
• Catégories structurées
• A mathematical theory of resources
• Framed bicategories and monoidal fibrations
• Title not available (Why is that?)
• Intercategories: a framework for three-dimensional category theory
• Title not available (Why is that?)
• Model structures on the category of small double categories
• What is a free double category like?
• Algebra and Coalgebra in Computer Science
• CospanSpan(Graph): a compositional description of the heart system

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)