An operational semantics for a calculus for wireless systems

DOI10.1016/j.tcs.2010.01.023zbMath1200.68035OpenAlexW2013747113MaRDI QIDQ964487

Ivan Lanese, Davide Sangiorgi

Publication date: 22 April 2010

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2010.01.023

zbMATH Keywords

interferencereduction semanticsbroadcastlabelled transition semanticswireless systems

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Related Items

Depletable channels: dynamics, behaviour, and efficiency in network design ⋮ A semantic theory of the Internet of things ⋮ A timed calculus for wireless systems ⋮ A calculus of trustworthy ad hoc networks ⋮ Measuring security in IoT communications ⋮ Unnamed Item ⋮ Characterising Testing Preorders for Broadcasting Distributed Systems ⋮ Broadcast Psi-calculi with an Application to Wireless Protocols ⋮ A tale of two graph models: a case study in wireless sensor networks

Uses Software

• Esterel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A framework for security analysis of mobile wireless networks
• Calculi for synchrony and asynchrony
• Statecharts: a visual formalism for complex systems
• The Esterel synchronous programming language: Design, semantics, implementation
• Mobile ambients
• A Calculus for Mobile Ad Hoc Networks
• An Observational Theory for Mobile Ad Hoc Networks
• A Prospectus for Mobile Broadcasting Systems
• Reactive Systems
• SOFSEM 2006: Theory and Practice of Computer Science

This page was built for publication: An operational semantics for a calculus for wireless systems