Reconfiguration and Message Losses in Parameterized Broadcast Networks
Bertrand, Nathalie ; Bouyer, Patricia ; Majumdar, Anirban
Logical methods in computer science, 2021-01, Vol.17 (1), p.1-18
[Periódico revisado por pares]
Logical Methods in Computer Science Association
Texto completo disponível