A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV

@article{Fehnker2013APA,
  title={A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV},
  author={Ansgar Fehnker and Rob J. van Glabbeek and Peter H{\"o}fner and Annabelle McIver and Marius Portmann and Wee Lum Tan},
  journal={CoRR},
  year={2013},
  volume={abs/1312.7645}
}
ion operator, 13, 123 acknowledgment, 11 action, 12 add, 26 addpre, 23 addpreRT, 24 α-conversion, 12 AODV, 1 append, 26 application layer, 10 application layer data, 10, 20 arrive , 14–16 assignment, 10 associativity, 17 atomic propositions, 89, 90 AWN, 1, 10 bidirectional links, 9 bound, 10 broadcast, 4, 10–12 choice operator, 12 client, 10 closed, 12 communication function, 17 concealment operator, 13 conditional unicast, 1, 11, 122, 127 connect, 14–16 connected, 21 connectivity graph, 56… CONTINUE READING
Highly Cited
This paper has 41 citations. REVIEW CITATIONS