Topology-Dependent Abstractions of Broadcast Networks

DOI10.1007/978-3-540-74407-8_16zbMATH Open1151.68322OpenAlexW2000419603MaRDI QIDQ3525640FDOQ3525640

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (5)

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

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)