A timed calculus for wireless systems

DOI10.1007/978-3-642-11623-0_13zbMATH Open1274.68246DBLPconf/fsen/MerroS09OpenAlexW2107459132WikidataQ62041643 ScholiaQ62041643MaRDI QIDQ3400923FDOQ3400923

Authors: Massimo Merro, Eleonora Sibilio 

Publication date: 28 January 2010

Published in: Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11623-0_13

Recommendations

• A timed calculus for wireless systems
• Modelling MAC-layer communications in wireless systems
• Towards a calculus for wireless systems
• A CALCULUS OF TIMED COMMUNICATING SYSTEMS
• Timed \(\pi\)-calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (9)

• On the Verification of Timed Ad Hoc Networks
• Assertion-based reasoning method for calculus of wireless system
• Parameterized verification of time-sensitive models of ad hoc network protocols
• An operational semantics for a calculus for wireless systems
• Observation-oriented semantics for calculus of wireless systems
• A timed calculus for wireless systems
• Towards a calculus for wireless systems
• Modelling MAC-layer communications in wireless systems
• A semantic theory of the Internet of Things

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

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