Parametric timed broadcast protocols

DOI10.1007/978-3-030-11245-5_23MaRDI QIDQ2287111zbMATH OpenOpenAlexFDO

Authors Étienne André, Paulin Fournier, Benoît Delahaye, Didier Lime

Publication date 23 January 2020

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Parameterized verification of time-sensitive models of ad hoc network protocols
• On the complexity of parameterized reachability in reconfigurable broadcast networks
• Liveness of parameterized timed networks
• On the Verification of Timed Ad Hoc Networks
• Reconfiguration and message losses in parameterized broadcast networks

Cited in

(2)

• Distributed local strategies in broadcast networks
• scientific article; zbMATH DE number 7471686 (Why is no real title available?)

This page was built for publication: Parametric timed broadcast protocols

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