Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability.

Lucie Guillou, Corto Mascle, Nicolas Waldburger

Browse the full FOSSACS paper archive.