Publication:2851331
From MaRDI portal
zbMath1273.68264MaRDI QIDQ2851331
Nicola Mezzetti, Davide Sangiorgi
Publication date: 10 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610600171X
68M10: Network design and communication in computer systems
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
A Calculus for Mobile Ad-hoc Networks with Static Location Binding, Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks, An Observational Theory for Mobile Ad Hoc Networks, Mechanizing a process algebra for network protocols, Modelling and verifying the AODV routing protocol, Modeling and analyzing mobile ad hoc networks in Real-Time Maude, An operational semantics for a calculus for wireless systems, A process calculus for mobile ad hoc networks, An observational theory for mobile ad hoc networks (full version), Modeling and efficient verification of wireless ad hoc networks, A formal approach to the engineering of domain-specific distributed systems, Model checking mobile ad hoc networks, Depletable channels: dynamics, behaviour, and efficiency in network design, Broadcast Psi-calculi with an Application to Wireless Protocols