An operational semantics for a calculus for wireless systems

DOI10.1016/j.tcs.2010.01.023zbMath1200.68035MaRDI 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

interference; reduction semantics; broadcast; labelled transition semantics; wireless systems

Mathematics Subject Classification ID

68M10: Network design and communication in computer systems

Related Items

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

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