Adaptation-based programming for network protocol design: An 802.11x case study (abstract) | IEEE Conference Publication | IEEE Xplore