Download PDFOpen PDF in browserUnifying Equivalences for Timed Transition Systems19 pages•Published: June 22, 2012AbstractTimed transition systems are a widely studied model for real-time systems.The intention of the paper is to show how several categorical (open maps, path-bisimilarity and coalgebraic) approaches to an abstract characterization of bisimulation relate to each other and to the numerous suggested behavioral equivalences of linear time -- branching time spectrum, in the setting of timed transition systems. Keyphrases: behavioral equivalences, Coalgebraic Bisimulation, Open Maps Bisimulation, Path Bisimulation, timed transition system In: Andrei Voronkov (editor). Turing-100. The Alan Turing Centenary, vol 10, pages 386--404
|