A categorical view of timed weak bisimulation

DOI10.1007/978-3-642-13562-0_40MaRDI QIDQ3569097zbMATHOpenAlexFDO

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

Publication date 17 June 2010

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

Full work available at URL https://doi.org/10.1007/978-3-642-13562-0_40

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 behaviours
• scientific article; zbMATH DE number 1339961
• Timed delay bisimulation is an equivalence relation for timed transition systems
• scientific article; zbMATH DE number 1839452
• scientific article; zbMATH DE number 2104639

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)