An operational semantics for a calculus for wireless systems

DOI10.1016/J.TCS.2010.01.023MaRDI QIDQ964487zbMATH OpenOpenAlexFDO

Authors 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

interferencebroadcastreduction semanticslabelled transition semanticswireless systems

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Recommendations

• Towards a calculus for wireless systems
• Observation-oriented semantics for calculus of wireless systems
• A timed calculus for wireless systems
• A timed calculus for wireless systems
• Modelling MAC-layer communications in wireless systems

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1390069 (Why is no real title available?)
• A Calculus for Mobile Ad Hoc Networks
• A framework for security analysis of mobile wireless networks
• A prospectus for mobile broadcasting systems
• An Observational Theory for Mobile Ad Hoc Networks
• Calculi for synchrony and asynchrony
• Mobile ambients
• Reactive Systems
• SOFSEM 2006: Theory and Practice of Computer Science
• Statecharts: a visual formalism for complex systems
• The Esterel synchronous programming language: Design, semantics, implementation
• The \(\pi\)-calculus: A theory of mobile processes
• Towards a calculus for wireless systems

Cited in

(13)

• A calculus of trustworthy ad hoc networks
• Measuring security in IoT communications
• Assertion-based reasoning method for calculus of wireless system
• Equational reasonings in wireless network gossip protocols
• Broadcast psi-calculi with an application to wireless protocols
• Towards a calculus for wireless systems
• A semantic theory of the Internet of Things
• Depletable channels: dynamics, behaviour, and efficiency in network design
• Observation-oriented semantics for calculus of wireless systems
• Characterising testing preorders for broadcasting distributed systems
• A timed calculus for wireless systems
• Modelling MAC-layer communications in wireless systems
• A tale of two graph models: a case study in wireless sensor networks

Describes a project that uses

Uses Software

• Esterel

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q964487)