Observing behaviour categorically

DOI10.1007/3-540-60692-0_54MaRDI QIDQ2956688zbMATH OpenOpenAlexFDO

Authors Mogens Nielsen, Allan Cheng

Publication date 19 January 2017

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60692-0_54

Mathematics Subject Classification ID

Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Bisimulation from open maps
• Open maps in concrete categories and branching bisimulation for prefix orders
• Open maps, behavioural equivalences, and congruences
• Open maps, behavioural equivalences, and congruences
• Open maps as a bridge between algebraic observational equivalence and bisimilarity

Cited in

(13)

• Open maps, behavioural equivalences, and congruences
• Unifying behavioral equivalences of timed transition systems
• Clustering for Petri nets
• Bisimulation from open maps
• Bisimulation maps in presheaf categories
• Causality versus true-concurrency
• Open maps in concrete categories and branching bisimulation for prefix orders
• Weak bisimilarity coalgebraically
• Open maps as a bridge between algebraic observational equivalence and bisimilarity
• Reasoning about the past
• Bisimulations and unfolding in P-accessible categorical models
• scientific article; zbMATH DE number 794261 (Why is no real title available?)
• Open maps, behavioural equivalences, and congruences

This page was built for publication: Observing behaviour categorically

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