Distributed local strategies in broadcast networks

DOI10.4230/LIPIcs.CONCUR.2015.44zbMath1374.68062OpenAlexW2256984707MaRDI QIDQ5357693

Arnaud Sangnier, Nathalie Bertrand, Paulin Fournier

Publication date: 12 September 2017

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

zbMATH Keywords

local strategiesparameterized verificationbroadcast networks

Mathematics Subject Classification ID

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

Related Items (3)

Liveness in broadcast networks ⋮ Unnamed Item ⋮ Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker

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