Distributed local strategies in broadcast networks

DOI10.4230/LIPICS.CONCUR.2015.44zbMATH Open1374.68062OpenAlexW2256984707MaRDI QIDQ5357693FDOQ5357693

Authors: Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier 

Publication date: 12 September 2017

Full work available at URL: https://hal.inria.fr/hal-01243595

Recommendations

• Playing with probabilities in reconfigurable broadcast networks
• Decidability and complexity results for verification of asynchronous broadcast networks
• Parametric timed broadcast protocols
• On the complexity of parameterized reachability in reconfigurable broadcast networks
• Reconfiguration and message losses in parameterized broadcast networks

zbMATH Keywords

local strategiesparameterized verificationbroadcast networks

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14)

Cited In (6)

• Title not available (Why is that?)
• Declarative parameterized verification of distributed protocols via the Cubicle model checker
• Bounds for the optimal decentralized access protocol in a local area network
• Reachability in networks of register protocols under stochastic schedulers
• Local management of a global resource in a communication network
• Liveness in broadcast networks

This page was built for publication: Distributed local strategies in broadcast networks

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