Open maps, behavioural equivalences, and congruences

DOI10.1007/3-540-61064-2_42OpenAlexW1586892595MaRDI QIDQ5878914

Allan Cheng, Mogens Nielsen

Publication date: 23 February 2023

Published in: Trees in Algebra and Programming — CAAP '96 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61064-2_42

zbMATH Keywords

process algebracongruencescategory theorybisimilarityopen mapsfactorisability

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) Categories of machines, automata (18B20)

Cites Work

• Unnamed Item
• Unnamed Item
• Finite representations of CCS and TCSP programs by automata and Petri nets
• A completeness theorem for open maps
• Observing behaviour categorically