- Tytuł:
- Equational Reasoning on Mobile Ad Hoc Networks
- Autorzy:
-
Ghassemi, F.
Fokkink, W.
Movaghar, A. - Data publikacji:
- 2011
- Słowa kluczowe:
-
Computed Network Theory
operational semantics
Restricted Broadcast Process Theory
Computed Network Bisimulation - Pokaż więcej
- Dostawca treści:
- BazTech