FSEN
2009
Springer
13 years 11 months ago
2009
Springer
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...