- Tytuł:
- Observational Equivalences for Timed Stable Event Structures
- Autorzy:
-
Andreeva, M.V.
Virbitskaite, I.B. - Data publikacji:
- 2006
- Słowa kluczowe:
-
real-time system
comparative concurrency semantics
observational equivalences
timed event structures - Pokaż więcej
- Dostawca treści:
- BazTech