A timed calculus for wireless systems

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

zbMATH Keywords

local broadcast; communication collision; timed process calculus; wireless system

Mathematics Subject Classification ID

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

• 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