Affiliations: A.P. Ershov Institute of Informatics Systems, SB RAS, 6, Acad. Lavrentiev avenue, 630090, Novosibirsk, Russia | Novosibirsk State University, 2, Pirogova st., Novosibirsk, 630090, Russia. [email protected] | A.P. Ershov Institute of Informatics Systems, SB RAS, 6, Acad. Lavrentiev avenue, 630090, Novosibirsk, Russia | Carl von Ossietzky University of Oldenburg, D-26111 Oldenburg, Germany
Note: [] Address for correspondence: A.P. Ershov Institute of Informatics Systems, SB RAS, 6, Acad. Lavrentiev avenue, 630090, Novosibirsk, Russia
Abstract: Timed 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 behavioural equivalences of linear time – branching time spectrum, in the setting of timed transition systems.
