Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra.
K. N. SridharGabriel CiobanuPublished in: FORTE Workshops (2004)
Keyphrases
- process algebra
- concurrent systems
- formal specification
- wireless lan
- model checking
- asynchronous circuits
- formal methods
- web services composition
- wireless local area networks
- communication protocols
- petri net
- concurrent programs
- wireless networks
- wireless local area network
- temporal logic
- wireless communication
- mobile devices
- wifi
- grid workflow
- programming environment
- mac protocol
- medium access control
- access points
- distributed systems
- wireless systems
- software engineering
- highly reliable
- ad hoc networks
- end to end
- building blocks