Loading...

Equational reasoning on mobile ad hoc networks

Ghassemi, F ; Sharif University of Technology

364 Viewed
  1. Type of Document: Article
  2. DOI: 10.3233/FI-2010-371
  3. Abstract:
  4. 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
  5. Keywords:
  6. Bisimilarity ; Equational reasoning ; Equational theory ; Finite-state ; Ground-complete axiomatization ; Network theory ; Process theory ; Ad hoc networks ; Mobile ad hoc networks
  7. Source: Fundamenta Informaticae ; Volume 105, Issue 4 , 2010 , Pages 375-415 ; 01692968 (ISSN)
  8. URL: http://content.iospress.com/articles/fundamenta-informaticae/fi105-4-02