FORMAL SPECIFICATION AND ANALYSIS OF THE PCF PROTOCOL IN THE 802.11 STANDARD USING SYSTEMS OF COMMUNICATING MACHINES1

M. Youssef∗ and R.E. Miller∗∗

References

  1. [1] M.A. Youssef, A. Vasan, & R.E. Miller, Specification andanalysis of the DCF and PCF protocols in the 802.11 standardusing systems of communicating machines, Proc. of IEEEICNP, Paris, 2002, 132–143.
  2. [2] The Institute of Electrical and Inc. Electronics Engineers. IEEEStd 802.11 – Wireless LAN Medium Access Control (MAC)and Physical Layer (PHY) specifications, 1999.
  3. [3] W. Stallings, Wireless communications and networks, FirstEdition (Prentice-Hall, 2002).
  4. [4] M.S. Gast. 802.11 Wireless Networks: The definitive guide,First Edition (O’Reilly, 2002).
  5. [5] G.M. Lundy, Systems of communicating machines: A model forcommunication protocols, Ph.D. dissertation, School of Infor-mation and Computer Science, Georgia Institute of Technology,Atlanta, GA, 1988.
  6. [6] G.M. Lundy & R.E. Miller, Specification and analysis of a datatransfer protocol using systems of communicating machines,Distributed Computing, 5, 1991, 145–157.
  7. [7] G.M. Lundy & R.E. Miller, A variable window protocol speci-fication and analysis. Protocol Specification, Testing and Ver-ification VIII, 1988, 361–372.
  8. [8] G.M. Lundy & I.F. Akyildiz, Specification and analysis of theFDDIMAC protocol using systems of communicating machines,Computer Communications, 15 (5), 1992, 285–294.
  9. [9] G.M. Lundy & R.E. Miller, Analyzing a CSMA/CD protocolthrough a systems of communicating machines specification,IEEE Transactions on Communications, 41 (3), 1993, 447–449.
  10. [10] D. Lee, A. Netravali, K. Sabnani, B. Sugla, & A. John, Passivetesting and applications to network management, Proc. ofIEEE ICNP, Paris, October 1997, 113–122.
  11. [11] H. Rudin, An informal overview of formal protocol specification,IEEE Communications Magazine, 23 (3), 1985, 46–52.
  12. [12] M.A. Youssef & R.E. Miller, Analyzing the point co-ordination function of the IEEE 802.11 WLAN proto-col using a systems of communicating machines specifica-tion. Technical Report UMIACS-TR 2002-36 and CS-TR4357, University of Maryland, College Park, May 2002.http://www.cs.umd.edu/Library/TRs/.
  13. [13] G.M. Lundy & R.E. Miller, Analyzing a CSMA/CD protocolthrough a systems of communicating machines specification.Techinical Report TR-90-01, CESDIS TR, January 1990.

Important Links:

Go Back