A functorial semantics for observed concurrency

DOI10.1007/3-540-55808-X_39MaRDI QIDQ5096853zbMATH OpenFDO

Authors David J. Murphy, Axel Poigné

Publication date 18 August 2022

Published in Mathematical Foundations of Computer Science 1992 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-55808-X_39

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1497874
• scientific article; zbMATH DE number 2084342
• scientific article; zbMATH DE number 3905836
• scientific article; zbMATH DE number 10090
• Timed transition systems with independence and timed event structures: an adjunction

Cites work

• A functorial semantics for observed concurrency
• Categories of embeddings
• scientific article; zbMATH DE number 3902016 (Why is no real title available?)
• scientific article; zbMATH DE number 3919813 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4050971 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 125887 (Why is no real title available?)
• scientific article; zbMATH DE number 3797702 (Why is no real title available?)
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse

Cited in

(4)

• scientific article; zbMATH DE number 1497874 (Why is no real title available?)
• scientific article; zbMATH DE number 10090 (Why is no real title available?)
• Observational trees as models for concurrency
• A functorial semantics for observed concurrency

This page was built for publication: A functorial semantics for observed concurrency

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