A timed calculus for wireless systems
From MaRDI portal
Publication:650891
DOI10.1016/j.tcs.2011.07.016zbMath1227.68077WikidataQ62041634 ScholiaQ62041634MaRDI QIDQ650891
Massimo Merro, Eleonora Sibilio, Francesco Ballardin
Publication date: 7 December 2011
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2011.07.016
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Unnamed Item, Formal Analysis of Leader Election in MANETs Using Real-Time Maude, A Calculus of Cyber-Physical Systems, Modeling and analyzing mobile ad hoc networks in Real-Time Maude, A semantic theory of the Internet of things, A probabilistic calculus of cyber-physical systems, Depletable channels: dynamics, behaviour, and efficiency in network design, Characterising Testing Preorders for Broadcasting Distributed Systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- A framework for security analysis of mobile wireless networks
- Guide to wireless mesh networks
- An operational semantics for a calculus for wireless systems
- An observational theory for mobile ad hoc networks (full version)
- A calculus of mobile processes. II
- The algebra of timed processes, ATP: Theory and application
- Mobile ambients
- Process algebra with timing
- A process algebra for timed systems
- Discrete time process algebra
- Towards action-refinement in process algebras
- Real time process algebra
- Equational Reasoning on Ad Hoc Networks
- A Calculus for Mobile Ad Hoc Networks
- Process algebra for synchronous communication
- A Calculus for Mobile Ad-hoc Networks with Static Location Binding
- Barbed bisimulation
- Formal Methods for the Design of Real-Time Systems
- Foundations of Software Science and Computational Structures
- Semantic Barbs and Biorthogonality
- ``Closed interval process algebra versus ``interval process algebra
- On the semantics of durational actions
- Distributed processes and location failures