Loading...

Equational reasoning on ad hoc networks

Ghassemi, F ; Sharif University of Technology | 2010

294 Viewed
  1. Type of Document: Article
  2. DOI: 10.1007/978-3-642-11623-0_6
  3. Publisher: 2010
  4. Abstract:
  5. 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
  6. Keywords:
  7. Bisimilarity ; Complete axiomatizations ; Equational reasoning ; Equational theory ; Network theory ; Process theory ; Recursions ; Algebra ; Broadcasting ; Computer software ; Permanent magnets ; Ad hoc networks
  8. Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 15 April 2009 through 17 April 2009, Kish Island ; Volume 5961 LNCS , 2010 , Pages 113-128 ; 03029743 (ISSN) ; 3642116221 (ISBN)
  9. URL: http://link.springer.com/chapter/10.1007%2F978-3-642-11623-0_6