Broadcast Psi-calculi with an Application to Wireless Protocols
From MaRDI portal
Publication:3095234
DOI10.1007/978-3-642-24690-6_7zbMath1350.68041OpenAlexW46776511MaRDI QIDQ3095234
Joachim Parrow, Magnus Johansson, Björn Victor, Shuqin Huang, Johannes Borgström, Johannes Åman Pohjola, Palle Raabjerg
Publication date: 28 October 2011
Published in: Software Engineering and Formal Methods (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-24690-6_7
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Network protocols (68M12)
Related Items (6)
Declarative event based models of concurrency and refinement in psi-calculi ⋮ Modelling and verifying the AODV routing protocol ⋮ Modeling and efficient verification of wireless ad hoc networks ⋮ Psi-calculi revisited: connectivity and compositionality ⋮ Psi-calculi in Isabelle ⋮ The Expressive Power of Monotonic Parallel Composition
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Computing strong and weak bisimulations for psi-calculi
- A new approach to abstract syntax with variable binding
- Algèbre de processus et synchronisation
- 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)
- Calculi for synchrony and asynchrony
- A calculus of communicating systems
- Nominal logic, a first order theory of names and binding
- Psi-calculi: a framework for mobile processes with nominal data and logic
- A Calculus for Mobile Ad Hoc Networks
- Mobile values, new names, and secure communication
- Automated Deduction – CADE-20
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
This page was built for publication: Broadcast Psi-calculi with an Application to Wireless Protocols