Broadcast Psi-calculi with an Application to Wireless Protocols

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Network protocols (68M12)

Related Items

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

• Nominal Isabelle

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