A process calculus for mobile ad hoc networks
scientific article; zbMATH DE number 5702847