A functorial semantics for observed concurrency

DOI10.1007/3-540-55808-X_39zbMath1493.68251MaRDI QIDQ5096853

Axel Poigné, David J. Murphy

Publication date: 18 August 2022

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

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)

Related Items (1)

A functorial semantics for observed concurrency

Cites Work

• Categories of embeddings
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• A functorial semantics for observed concurrency
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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