An operational semantics for a calculus for wireless systems
From MaRDI portal
Publication:964487
DOI10.1016/j.tcs.2010.01.023zbMath1200.68035MaRDI QIDQ964487
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
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, A tale of two graph models: a case study in wireless sensor networks, 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
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