PL
 |
EN

Znaleziono wyników: 2

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote A Domain View of Timed Behaviors
Dubtsov R., Oshevskaya E., Virbitskaite I.
Fundamenta Informaticae
|
2014
|
Vol. 133, nr 2/3
133--147
EN
The intention of this paper is to introduce a timed extension of transition systems with independence, and to study its categorical interrelations with other time-sensitive models. In particular, we show the existence of a chain of coreflections leading from a category of the model of timed
transition systems with independence to a category of a specially defined model of marked Scott domains. As an intermediate semantics we use a timed extension of occurrence transition systems with independence, able to properly capture causality and independence relations which arise in the presence of time delays.
Mniej
Więcej
2
Content available remote Unifying Equivalences for Higher Dimensional Automata
Oshevskaya E., Virbitskaite I., Best E.
Fundamenta Informaticae
|
2012
|
Vol. 119, nr 3/4
357-372
EN
The intention of the paper is to show how several categorical (open morphisms, path mor- phisms and coalgebraic morphisms based) approaches to an abstract characterization of bisimulation relate to each other and to behavioral bisimulations, in the setting of higher dimensional automata. Such
a relating makes it possible to develop a metatheory designed for unified definition and study of equivalences in true concurrency semantics.
Więcej
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników
first rewind previous Strona / 1 next fast forward last