A timed calculus for wireless systems

DOI10.1007/978-3-642-11623-0_13MaRDI QIDQ3400923zbMATH OpenOpenAlexDBLPWikidataFDO

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

Mathematics Subject Classification ID

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

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

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
• A timed calculus for wireless systems
• Observation-oriented semantics for calculus of wireless systems
• Towards a calculus for wireless systems
• A semantic theory of the Internet of Things
• Modelling MAC-layer communications in wireless systems

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)