Sciweavers

Share
FUIN
2010

Equational Reasoning on Mobile Ad Hoc Networks

8 years 8 months ago
Equational Reasoning on Mobile Ad Hoc Networks
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 restricted broadcast. It allows one to define the behavior of an ad hoc network with respect to the underlying topologies. We give a sound and ground-complete axiomatization for CNT terms with finite-state behavior, modulo what we call rooted branching computed network bisimilarity.
Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
Added 02 Mar 2011
Updated 02 Mar 2011
Type Journal
Year 2010
Where FUIN
Authors Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
Comments (0)
books