In this thesis we implement different process calculi to model ad hoc wireless networks. Each of these calculi considers different features of wireless systems, which are selected by focusing on the kind of applications ...