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

K. N. Sridhar, Gabriel Ciobanu

Browse the full FORTE paper archive.