A calculus of trustworthy ad hoc networks
From MaRDI portal
Publication:470043
DOI10.1007/S00165-011-0210-7zbMath1298.68041OpenAlexW1979510503WikidataQ62041620 ScholiaQ62041620MaRDI QIDQ470043
Eleonora Sibilio, Massimo Merro
Publication date: 11 November 2014
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-011-0210-7
Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)
Related Items (4)
Depletable channels: dynamics, behaviour, and efficiency in network design ⋮ A semantic theory of the Internet of things ⋮ Modeling and analyzing mobile ad hoc networks in Real-Time Maude ⋮ Formal Analysis of Leader Election in MANETs Using Real-Time Maude
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A framework for security analysis of mobile wireless networks
- 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)
- A calculus of mobile processes. I
- Noninterference for concurrent programs and thread systems
- Static analysis for the \(\pi\)-calculus with applications to security
- Controlling information release in the \(\pi\)-calculus
- Probabilistic Mobility Models for Mobile and Wireless Networks
- Equational Reasoning on Ad Hoc Networks
- Formal verification of standards for distance vector routing protocols
- A Calculus for Mobile Ad Hoc Networks
- An Axiomatic Approach to Information Flow in Programs
- Barbed bisimulation
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
This page was built for publication: A calculus of trustworthy ad hoc networks