- Tytuł:
- Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems
- Autorzy:
-
Gribovskaya, N.
Virbitskaite, I. - Data publikacji:
- 2009
- Słowa kluczowe:
-
timed transition systems
timed delay equivalence
category theory
open maps - Pokaż więcej
- Dostawca treści:
- BazTech