- Tytuł:
- A Causal View on Non-Interference
- Autorzy:
-
Baldan, P.
Carraro, A. - Data publikacji:
- 2015
- Słowa kluczowe:
-
Petri nets
non-interference
bisimilarity-based non-deducibility on composition
BNDC
unfolding
true concurrency
verification - Pokaż więcej
- Dostawca treści:
- BazTech