- Tytuł:
- Invariant Structures and Dependence Relations
- Autorzy:
-
Janicki, R.
Kleijn, J.
Koutny, M.
Mikulski, Ł. - Data publikacji:
- 2017
- Słowa kluczowe:
-
dependence graph
interleaving
invariant structure
mutual exclusion
partial order
sequentialisability
serialisability
simultaneity
step alphabet
step trace
synthesis - Pokaż więcej
- Dostawca treści:
- BazTech