A timed calculus for wireless systems

DOI10.1016/J.TCS.2011.07.016zbMath1227.68077DBLPjournals/tcs/MerroBS11OpenAlexW2056267966WikidataQ62041634 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

zbMATH Keywords

local broadcastcommunication collisiontimed process calculuswireless system

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (8)

Depletable channels: dynamics, behaviour, and efficiency in network design ⋮ A semantic theory of the Internet of things ⋮ A Calculus of Cyber-Physical Systems ⋮ Unnamed Item ⋮ Modeling and analyzing mobile ad hoc networks in Real-Time Maude ⋮ A probabilistic calculus of cyber-physical systems ⋮ Characterising Testing Preorders for Broadcasting Distributed Systems ⋮ Formal Analysis of Leader Election in MANETs Using Real-Time Maude

Uses Software

• Esterel

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

This page was built for publication: A timed calculus for wireless systems