Topology-Dependent Abstractions of Broadcast Networks

DOI10.1007/978-3-540-74407-8_16MaRDI QIDQ3525640zbMATH OpenOpenAlexFDO

Authors Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson

Publication date 18 September 2008

Published in CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL http://www2.imm.dtu.dk/pubdb/views/publication_details.php?id=5308

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) 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

• Static analysis of topology-dependent broadcast networks
• Broadcast Abstraction in a Stochastic Calculus for Mobile Networks
• Model checking mobile ad hoc networks
• Modelling probabilistic wireless networks
• Model checking MANETs with arbitrary mobility

Cited in

(5)

• Developing topology discovery in Event-B
• A monotone framework for CCS
• Static analysis of topology-dependent broadcast networks
• Event driven topology broadcast without sequence numbers
• Leveraging Indirect Signaling for Topology Inference and Fast Broadcast

This page was built for publication: Topology-Dependent Abstractions of Broadcast Networks

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