Assertion-based reasoning method for calculus of wireless system

DOI10.1007/978-3-319-63121-9_24MaRDI QIDQ5217315zbMATH OpenOpenAlexFDO

Authors Lu-Yao Wang, Wanling Xie, Huibiao Zhu

Publication date 24 February 2020

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Network protocols (68M12) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Towards a calculus for wireless systems
• An operational semantics for a calculus for wireless systems
• Modelling MAC-layer communications in wireless systems
• A timed calculus for wireless systems
• Modelling probabilistic wireless networks

This page was built for publication: Assertion-based reasoning method for calculus of wireless system

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