Foundations of ad hoc wireless networks

[1]  Nancy A. Lynch,et al.  Probabilistic Simulations for Probabilistic Processes , 1994, Nord. J. Comput..

[2]  Wang Yi,et al.  Testing preorders for probabilistic processes can be characterized by simulations , 2002, Theor. Comput. Sci..

[3]  Davide Sangiorgi,et al.  Towards a Calculus For Wireless Systems , 2006, MFPS.

[4]  Cristina V. Lopes,et al.  A survey, classification and comparative analysis of medium access control protocols for ad hoc networks , 2004, IEEE Communications Surveys & Tutorials.

[5]  Chris Hankin,et al.  A framework for security analysis of mobile wireless networks , 2006, Theor. Comput. Sci..

[6]  Bo Li,et al.  Opportunities and Challenges of Peer-to-Peer Internet Video Broadcast , 2008, Proceedings of the IEEE.

[7]  Theodore S. Rappaport,et al.  Wireless communications - principles and practice , 1996 .

[8]  Massimo Merro,et al.  A timed calculus for wireless systems , 2011, Theor. Comput. Sci..

[9]  Nancy A. Lynch,et al.  The Theory of Timed I/o Automata , 2003 .

[10]  Massimo Merro,et al.  An Observational Theory for Mobile Ad Hoc Networks (full version) , 2009, Inf. Comput..

[11]  H. Zimmermann,et al.  OSI Reference Model - The ISO Model of Architecture for Open Systems Interconnection , 1980, IEEE Transactions on Communications.

[12]  R. J. vanGlabbeek.  The linear time - branching time spectrum , 1990 .

[13]  Matthew Hennessy.  Exploring probabilistic bisimulations, part I , 2012, Formal Aspects of Computing.

[14]  Davide Sangiorgi,et al.  The Pi-Calculus - a theory of mobile processes , 2001 .

[15]  R. V. Glabbeek.  The Linear Time - Branching Time Spectrum II: The Semantics of Sequential Systems with Silent Moves , 1993 .

[16]  Lei Song,et al.  Probabilistic Mobility Models for Mobile and Wireless Networks , 2010, IFIP TCS.

[17]  Paul G. Spirakis,et al.  Probabilistic Data Propagation in Wireless Sensor Networks , 2011, Theoretical Aspects of Distributed Computing in Sensor Networks.

[18]  Ruggero Lanotte,et al.  Semantic Analysis of Gossip Protocols for Wireless Sensor Networks , 2011, CONCUR.

[19]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[20]  André Schiper,et al.  Probabilistic broadcast for flooding in wireless mobile ad hoc networks , 2003, 2003 IEEE Wireless Communications and Networking, 2003. WCNC 2003..

[21]  C. R. Ramakrishnan,et al.  A process calculus for Mobile Ad Hoc Networks , 2010, Sci. Comput. Program..

[22]  Chris Hankin,et al.  Static Analysis of Routing Protocols for Ad-Hoc Networks , 2004 .

[23]  Roberto Segala,et al.  Testing Probabilistic Automata , 1996, CONCUR.

[24]  Narendra Kumar,et al.  Analysis and Comparative Study of Clock Synchronization Schemes in Wireless Sensor Networks , 2010 .

[25]  Robin Milner,et al.  Barbed Bisimulation , 1992, ICALP.

[26]  S. Kleene,et al.  λ-Definability and Recursiveness. , 1937 .

[27]  Ivan Lanese,et al.  An operational semantics for a calculus for wireless systems , 2010, Theor. Comput. Sci..

[28]  Matthew Hennessy,et al.  A Process Algebra for Timed Systems , 1995, Inf. Comput..

[29]  Wang Yi,et al.  Testing and Refinement for Nondeterministic and Probabilistic Processes , 1994, FTRTFT.