A categorical view of timed weak bisimulation

DOI10.1007/978-3-642-13562-0_40zbMATH Open1284.68426OpenAlexW1574910970MaRDI QIDQ3569097FDOQ3569097

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

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

Mathematics Subject Classification ID

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

Cited In (10)

• Categorical modeling of trace equivalence for times automata models with invariants
• A categorical view of timed behaviours
• Title not available (Why is that?)
• Behavioural equivalences for timed systems
• The timed barbed bisimulation is decidable for timed transition systems with invariants
• Title not available (Why is that?)
• Timed delay bisimulation is an equivalence relation for timed transition systems
• Unifying behavioral equivalences of timed transition systems
• Congruent weak bisimulation with dense real-time
• Title not available (Why is that?)

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)