A categorical view of timed weak bisimulation
From MaRDI portal
Publication:3569097
Recommendations
Cited in
(10)- Congruent weak bisimulation with dense real-time
- scientific article; zbMATH DE number 2047496 (Why is no real title available?)
- scientific article; zbMATH DE number 1830920 (Why is no real title available?)
- Behavioural equivalences for timed systems
- Categorical modeling of trace equivalence for times automata models with invariants
- Timed delay bisimulation is an equivalence relation for timed transition systems
- Unifying behavioral equivalences of timed transition systems
- The timed barbed bisimulation is decidable for timed transition systems with invariants
- A categorical view of timed behaviours
- scientific article; zbMATH DE number 1418466 (Why is no real title available?)
This page was built for publication: A categorical view of timed weak bisimulation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3569097)