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.
Get full access to this article
View all access options for this article.