Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Fundamenta Informaticae

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: open maps

Sortuj według:

Ogranicz wyniki do:

Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems

Gribovskaya N., Virbitskaite I.

Fundamenta Informaticae

2009

Vol. 93, nr 1-3

127-142

Timed transition systems are a widely studied model for real-time systems. The intention of the paper is to show the applicability of the general categorical framework of openmaps in order to prove that timed delay equivalence is indeed an equivalence relation in the setting of timed transition systems with invariants. In particular, we define a category of the model under consideration and an accompanying (sub)category of observations to which the corresponding notion of open maps is developed. We then use the open maps framework to obtain an abstract equivalence relation which is established to coincide with timed delay bisimulation.

Open Maps and Observational Equivalences for Timed Partial Order Models

Virbitskaite I.B., Gribovskaya N.S.

Fundamenta Informaticae

2004

Vol. 60, nr 1-4

383--399

The intention of the paper is to show the applicability of the general categorical framework of open maps to the setting of timed extensions of partial order models, in order to transfer general concepts of equivalences to the models. In particular, we define categories of timed event structures, whose morphisms are to be thought of as simulations, and accompanying (sub)categories of observations, to which the corresponding notions of open maps are developed. We then use the open maps framework to obtain abstract bisimilarities which are established to coincide with timed extensions of well-known partial order based equivalences.