Open maps, behavioural equivalences, and congruences
From MaRDI portal
(Redirected from Publication:1389441)
Recommendations
Cites work
- scientific article; zbMATH DE number 3808928 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 1086660 (Why is no real title available?)
- scientific article; zbMATH DE number 195199 (Why is no real title available?)
- A co-induction principle for recursively defined domains
- A completeness theorem for open maps
- A final coalgebra theorem
- Bisimulation can't be traced
- Bisimulation from open maps
- Concurrent testing of processes
- Finite representations of CCS and TCSP programs by automata and Petri nets
- Observing behaviour categorically
Cited in
(11)- scientific article; zbMATH DE number 1223709 (Why is no real title available?)
- System theory for system identification.
- Bisimulation relations for dynamical and control systems
- Weighted and branching bisimilarities from generalized open maps
- Open maps, behavioural equivalences, and congruences
- Observing behaviour categorically
- Open maps in concrete categories and branching bisimulation for prefix orders
- Bisimulation relations for dynamical, control, and hybrid systems
- Presheaf models for CCS-like languages
- Paths and simulations
- scientific article; zbMATH DE number 1189284 (Why is no real title available?)
This page was built for publication: Open maps, behavioural equivalences, and congruences
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1389441)
