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

Article Dans Une Revue Distributed Computing Année : 2020

Deciding and verifying network properties locally with few output bits

, (1) , , ,

1

Heger Arfaoui

Fonction : Auteur

Pierre Fraigniaud

Fonction : Auteur
PersonId : 835294

Institut de Recherche en Informatique Fondamentale

David Ilcinkas

Fonction : Auteur
PersonId : 1185
IdHAL : david-ilcinkas
ORCID : 0000-0002-0094-4330
IdRef : 110525094

Fabien Mathieu

Fonction : Auteur
PersonId : 446
IdHAL : fabien-mathieu
IdRef : 088099849

CV

Andrzej Pelc

Fonction : Auteur

Domaines

Algorithme et structure de données [cs.DS] Calcul parallèle, distribué et partagé [cs.DC]

Pierre Fraigniaud : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03100213

Soumis le : mercredi 6 janvier 2021-15:11:56

Dernière modification le : dimanche 9 juillet 2023-10:36:20

Dates et versions

hal-03100213 , version 1 (06-01-2021)

Identifiants

HAL Id : hal-03100213 , version 1
DOI : 10.1007/s00446-019-00355-1

Citer

Heger Arfaoui, Pierre Fraigniaud, David Ilcinkas, Fabien Mathieu, Andrzej Pelc. Deciding and verifying network properties locally with few output bits. Distributed Computing, 2020, 33 (2), pp.169-187. ⟨10.1007/s00446-019-00355-1⟩. ⟨hal-03100213⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UP-SCIENCES ANR IRIF

17 Consultations

0 Téléchargements

Deciding and verifying network properties locally with few output bits

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager