Skip to main content
SpringerLink
Log in
Book cover

International Conference on Formal Techniques for Networked and Distributed Systems

FORTE 2004: Applying Formal Methods: Testing, Performance, and M/E-Commerce pp 233–247Cite as

Describing IEEE 802.11 Wireless Mechanisms by Using the π-Calculus and Performance Evaluation Process Algebra

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3236))

Abstract

IEEE 802.11 protocols are formally expressed using the π-calculus process algebra and a performance evaluation process algebra. We first describe the handoff mechanism in wireless LANs, and then the IEEE 802.11 MAC, a medium access control mechanism which is a variant of CSMA/CA. A 4-way handshake mechanism of IEEE 802.11 with fixed network topology is expressed using the π-calculus. The verification process for the specified protocols is briefly described; Mobility Workbench and PEPA Workbench are used as software tools for verification.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barendregt, H.P.: The lambda calculus, its syntax and semantics. Elsevier, Amsterdam (1984)

    MATH  Google Scholar 

  2. Edwards, J.: Process algebras for protocol validation and analysis. In: Proc. PREP 2001, pp. 1–20 (2001)

    Google Scholar 

  3. Gilmore, S., Hillston, J.: The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In: Beilner, H., Bause, F. (eds.) MMB 1995 and TOOLS 1995. LNCS, vol. 977, pp. 353–368. Springer, Heidelberg (1995)

    Google Scholar 

  4. Gilmore, S., Hillston, J.: A survey of the PEPA tools. In: Proc. 2nd PASTA Workshop, pp. 40–49 (2003)

    Google Scholar 

  5. IEEE Standards Department. 802.11: IEEE Standard for Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) specifications (1997)

    Google Scholar 

  6. Kwiatkowska, M.Z., Norman, G., Sproston, J.: Probabilistic model checking of the IEEE 802.11 wireless local area network protocol. In: PAPM-PROBMIV 2002, pp. 169–187 (2002)

    Google Scholar 

  7. Milner, R.: Elements of Interaction - Turing Award Lecture. CACM 36(1), 78–89 (1993)

    Article  Google Scholar 

  8. Milner, R.: Communicating and Mobile Systems: The π-calculus. Cambridge University Press, Cambridge (1999)

    MATH  Google Scholar 

  9. PEPA Workbench, available at http://www.dcs.ed.ac.uk/pepa/

  10. Victor, B., Moller, F.: The Mobility Workbench: A tool for the π-calculus. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol. 818, pp. 428–440. Springer, Heidelberg (1994)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing, National University of Singapore, Singapore

    K. N. Sridhar

  2. Romanian Academy, Institute of Computer Science, Romania

    Gabriel Ciobanu

Authors
  1. K. N. Sridhar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gabriel Ciobanu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. Sistemas Informáticos y Programación Facultad de Informática, Universidad Complutense de Madrid, 28040,, Madrid, Spain

    Manuel Núñez

  2. CIT, Zayed University, Dubai, United Arab Emirates, United Arab Emirates

    Zakaria Maamar

  3. Dept. de Sistemas Informáticos Escuela Politécnica Superior, Universidad Castilla-La Mancha, 02071, Albacete, Spain

    Fernando L. Pelayo

  4. Business Informatics and Systems Engineering, University of Augsburg, Universitätsstraße 16, 86135, Augsburg, Germany

    Key Pousttchi

  5. Dept. Sistemas Informáticos y Computación, Facultad de Informática, Universidad Complutense de Madrid, Madrid, Spain

    Fernando Rubio

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sridhar, K.N., Ciobanu, G. (2004). Describing IEEE 802.11 Wireless Mechanisms by Using the π-Calculus and Performance Evaluation Process Algebra. In: Núñez, M., Maamar, Z., Pelayo, F.L., Pousttchi, K., Rubio, F. (eds) Applying Formal Methods: Testing, Performance, and M/E-Commerce. FORTE 2004. Lecture Notes in Computer Science, vol 3236. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30233-9_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30233-9_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23169-1

  • Online ISBN: 978-3-540-30233-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation