Timed delay bisimulation is an equivalence relation for timed transition systems

MaRDI QIDQ5192929zbMATH OpenFDO

Authors I. B. Virbitskaite, N. S. Gribovskaya

Publication date 10 August 2009

zbMATH Keywords

category theoryopen mapstimed delay equivalencetimed transition systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A categorical view of timed weak bisimulation
• Unifying behavioral equivalences of timed transition systems
• A categorical view of timed behaviours
• The timed barbed bisimulation is decidable for timed transition systems with invariants
• scientific article; zbMATH DE number 1339961

Cited in

(8)

• 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
• Behavioural equivalences for timed systems
• A categorical view of timed weak bisimulation
• Is timed branching bisimilarity a congruence indeed?
• Formal Modeling and Analysis of Timed Systems
• Unifying equivalences for timed transition systems

This page was built for publication: Timed delay bisimulation is an equivalence relation for timed transition systems

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