Certification of an exact worst-case self-stabilization time

Karine Altisen; Pierre Corbineau; Stéphane Devismes

doi:10.1016/j.tcs.2022.11.019

Article Dans Une Revue Theoretical Computer Science Année : 2022

Certification of an exact worst-case self-stabilization time

(1) , (1) , (2)

1
2

Karine Altisen

Fonction : Auteur
PersonId : 1186789
ORCID : 0000-0001-8344-1853
IdRef : 060235004

VERIMAG

Pierre Corbineau

Fonction : Auteur
PersonId : 1190153
ORCID : 0000-0001-9267-7593

VERIMAG

Stéphane Devismes

Fonction : Auteur
PersonId : 738998
IdHAL : stephane-devismes
ORCID : 0000-0002-8032-9732
IdRef : 117725161

Modélisation, Information et Systèmes - UR UPJV 4290

Domaines

Réseaux et télécommunications [cs.NI]

Stéphane Devismes : Connectez-vous pour contacter le contributeur

https://uca.hal.science/hal-03862272

Soumis le : lundi 21 novembre 2022-09:06:27

Dernière modification le : mercredi 18 décembre 2024-09:32:15

Dates et versions

hal-03862272 , version 1 (21-11-2022)

Identifiants

HAL Id : hal-03862272 , version 1
DOI : 10.1016/j.tcs.2022.11.019

Citer

Karine Altisen, Pierre Corbineau, Stéphane Devismes. Certification of an exact worst-case self-stabilization time. Theoretical Computer Science, 2022, 941, pp.262-277. ⟨10.1016/j.tcs.2022.11.019⟩. ⟨hal-03862272⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA PRES_CLERMONT IMAG CNRS VERIMAG U-PICARDIE MIS

44 Consultations

0 Téléchargements

Certification of an exact worst-case self-stabilization time

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager