Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing

[1]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[2]  Anjali Agarwal,et al.  Performance of IEEE 802.11 RTS/CTS with Finite Buffer and Load in Imperfect Channels: Modeling and Analysis , 2010, 2010 IEEE Global Telecommunications Conference GLOBECOM 2010.

[3]  Robin Milner,et al.  The Space and Motion of Communicating Agents , 2009 .

[4]  Robin Milner,et al.  Stochastic Bigraphs , 2008, MFPS.

[5]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[6]  Vladimiro Sassone,et al.  Spatial Logics for Bigraphs , 2005, ICALP.

[7]  Thomas Hérault,et al.  Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC , 2005, AVoCS.

[8]  Marta Z. Kwiatkowska,et al.  Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol , 2002, PAPM-PROBMIV.

[9]  Sanjay Gupta,et al.  Performance modeling of asynchronous data transfer methods of IEEE 802.11 MAC protocol , 1997, Wirel. Networks.

[10]  Robert K. Brayton,et al.  Verifying Continuous Time Markov Chains , 1996, CAV.

[11]  Jan A. Bergstra,et al.  Term-Rewriting Systems with Rule Priorities , 1989, Theor. Comput. Sci..

[12]  W. Marsden.  I and J , 2012 .

[13]  Edmund M. Clarke,et al.  The Birth of Model Checking , 2008, 25 Years of Model Checking.

[14]  A. Girotra,et al.  Performance Analysis of the IEEE 802 . 11 Distributed Coordination Function , 2005 .

[15]  A. M. Murray.  Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications , 1999 .