scientific article

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (14)

Model checking mobile ad hoc networks ⋮ Mechanizing a process algebra for network protocols ⋮ Modelling and verifying the AODV routing protocol ⋮ Modeling and efficient verification of wireless ad hoc networks ⋮ Depletable channels: dynamics, behaviour, and efficiency in network design ⋮ An operational semantics for a calculus for wireless systems ⋮ A Calculus for Mobile Ad-hoc Networks with Static Location Binding ⋮ A process calculus for mobile ad hoc networks ⋮ Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks ⋮ Modeling and analyzing mobile ad hoc networks in Real-Time Maude ⋮ A formal approach to the engineering of domain-specific distributed systems ⋮ An observational theory for mobile ad hoc networks (full version) ⋮ Broadcast Psi-calculi with an Application to Wireless Protocols ⋮ An Observational Theory for Mobile Ad Hoc Networks

This page was built for publication: