A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Equational Reasoning on Ad Hoc Networks
[chapter]
2010
Lecture Notes in Computer Science
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.
doi:10.1007/978-3-642-11623-0_6
fatcat:wgnohv3rfvfdfbik2hm7jie7xu