Broadcast Abstraction in a Stochastic Calculus for Mobile Networks

DOI10.1007/978-3-642-33475-7_24zbMath1362.68018OpenAlexW1487356717MaRDI QIDQ2915180

Jens Chr. Godskesen, Lei Song

Publication date: 21 September 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-33475-7_24

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Network protocols (68M12)

Related Items (2)

Modeling and analyzing mobile ad hoc networks in Real-Time Maude ⋮ Formal Analysis of Leader Election in MANETs Using Real-Time Maude

This page was built for publication: Broadcast Abstraction in a Stochastic Calculus for Mobile Networks