Observing behaviour categorically
From MaRDI portal
Recommendations
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
- scientific article; zbMATH DE number 1189284 (Why is no real title available?)
- scientific article; zbMATH DE number 1222557 (Why is no real title available?)
- 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)