TY  - RPRT
TI  - Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
AU  - Lucie Guillou
AU  - Corto Mascle
AU  - Nicolas Waldburger
PY  - 2024
UR  - https://arxiv.org/abs/2306.01517
ID  - 2306.01517
ER  -