Sciweavers

Share
FSEN
2009
Springer

Equational Reasoning on Ad Hoc Networks

10 years 6 months ago
Equational Reasoning on 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 an ad hoc network with respect to the underlying topologies. We give a sound and complete axiomatization for the recursion-free part of the term algebra CNT, modulo what we call rooted branching computed network bisimilarity.
Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where FSEN
Authors Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
Comments (0)
books