Parameterized verification of synchronization in constrained reconfigurable broadcast networks

DOI10.1007/978-3-319-89963-3_3zbMath1423.68273arXiv1802.08469OpenAlexW2963905449MaRDI QIDQ2324224

A. R. Balasubramanian, Nathalie Bertrand, Nicolas Markey

Publication date: 16 September 2019

Full work available at URL: https://arxiv.org/abs/1802.08469

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Liveness in broadcast networks ⋮ Unnamed Item ⋮ Parameterized verification of coverability in infinite state broadcast networks

This page was built for publication: Parameterized verification of synchronization in constrained reconfigurable broadcast networks