Observation-oriented semantics for calculus of wireless systems

DOI10.1007/978-3-319-14806-9_6MaRDI QIDQ2814617zbMATH OpenOpenAlexFDO

Authors Xiaofeng Wu, Huibiao Zhu, Xi Wu

Publication date 22 June 2016

Published in Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-14806-9_6

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Semantics in the theory of computing (68Q55)

Recommendations

• Towards a calculus for wireless systems
• An operational semantics for a calculus for wireless systems
• UTP semantics of a calculus for mobile ad hoc networks
• Modelling MAC-layer communications in wireless systems
• A timed calculus for wireless systems

Cited in

(3)

• Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
• Towards a calculus for wireless systems
• An operational semantics for a calculus for wireless systems

This page was built for publication: Observation-oriented semantics for calculus of wireless systems

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