Bisimulation and open maps for timed transition systems

• Autorzy: Nielsen M. , Hune T.
• Języki publikacji: EN

Abstrakty

EN

Formal models for real-time systems have been studied intensively over the past decade. Much of the theory of untimed systems have been lifted to real-time settings. One example is the notion of bisimulation applied to timed transition systems, which is studied here within the general categorical framework of open maps. We define a category of timed transition systems, and show how to characterize standard timed bisimulation in terms of spans of open maps with a natural choice of a path category. This allows us to apply general results from the theory of open maps, e.g. the existence of canonical models and characteristic logics. Also, we obtain here an alternative proof of decidability of bisimulation for finite transition sys-tems, and illustrate the use of open maps in finite presentations of bisimulations.

Słowa kluczowe

EN

bisimulation; timed transition systems

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 1999
• Tom: Vol. 38, Nr 1,2
• Strony: 61--77
• Opis fizyczny: bibliogr. 22 poz.

Twórcy

autor

Nielsen M.

autor

Hune T.

• BRICS University of Aarhus, Ny Munkegade, Bldg. 540, Aarhus. Denmark,