Godskesen J C. A calculus for mobile ad hoc networks[C]∥Coordination Models and Languages. Springer Berlin Heidelberg, 2007: 132-150.
[3]
Merro M. An observational theory for mobile ad hoc networks[J]. Electronic Notes in Theoretical Computer Science, 2007, 173: 275-293.
[4]
Mezzetti N, Sangiorgi D. Towards a calculus for wireless systems[J]. Electronic Notes in Theoretical Computer Science, 2006, 158: 331-353.
[5]
Singh A, Ramakrishnan C R, Smolka S A. A process calculus for mobile ad hoc networks[J]. Science of Computer Programming, 2010, 75(6): 440-469.
[6]
Orfanus D, Heimfarth T, Wagner F R. Process algebra to model Self-Organizing behavior in wireless sensor networks[C]∥Ultra Modern Telecommunications & Workshops, 2009. ICUMT'09. International Conference on, IEEE, 2009:1-6.
[7]
Liu S, Zhao Y, Zhu H, et al. A calculus for mobile Ad Hoc networks from a group probabilistic Perspective[C]∥High-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on. IEEE, 2011: 157-162.
[8]
Thong V T, Buttyán L, Dvir A. On formal and automatic security verification of WSN transport protocols[J]. International Scholarly Research Notices,2014:891467.
[9]
Gallina L, Rossi S. A process calculus for energy‐aware multicast communications of mobile ad hoc networks[J]. Wireless Communications and Mobile Computing, 2013, 13(3): 296-312.
[10]
Milner R. 通信与移动系统[M]. 林惠民,柳欣欣,刘佳,等译.北京:清华大学出版社,2009:88.
[11]
Vasudevan S, Kurose J, Towsley D. Design and analysis of a leader election algorithm for mobile ad hoc networks[C]∥Network Protocols,2004,ICNP,2004,Proceedings of the 12th IEEE International Conference on. IEEE,2004: 350-360.
[12]
Yang P, Dong Y, Ramakrishnan C R, et al. A Provably correct Compiler for Efficient Model Checking of Mobile Processes[M].Practical Aspects of Declarative Languages. Springer Berlin Heidelberg, 2005: 113-127.
