|
| volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 15 gevonden artikelen
| Titel: |
A Domain View of Timed Behaviors |
| Auteur: |
Dubtsov, Roman Oshevskaya, Elena Virbitskaite, Irina |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 133 (2014) nr. 2-3 pagina's 133-147 |
| Jaar: |
2014-09-29 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 15 gevonden artikelen
| volgende >> |