Deciding and verifying network properties locally with few output bits

Heger Arfaoui; Pierre Fraigniaud; David Ilcinkas; Fabien Mathieu; Andrzej Pelc

doi:10.1007/s00446-019-00355-1

Journal articles

Deciding and verifying network properties locally with few output bits

Heger Arfaoui Pierre Fraigniaud ¹ David Ilcinkas Fabien Mathieu Andrzej Pelc

1 IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale

Document type :

Journal articles

Domain :

Computer Science [cs] / Data Structures and Algorithms [cs.DS]

Computer Science [cs] / Distributed, Parallel, and Cluster Computing [cs.DC]

Complete list of metadatas

https://hal.inria.fr/hal-03100213
Contributor : Pierre Fraigniaud <>
Submitted on : Wednesday, January 6, 2021 - 3:11:56 PM
Last modification on : Thursday, January 7, 2021 - 3:38:15 AM

Deciding and verifying network properties locally with few output bits

Links full text

Identifiers

Collections

Citation

Export

Metrics

7

Contact Legal Notice Personal Data

Deciding and verifying network properties locally with few output bits

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

7

Contact Legal Notice Personal Data