Certification of an exact worst-case self-stabilization time

Karine Altisen; Pierre Corbineau; Stéphane Devismes

doi:10.1016/j.tcs.2022.11.019

Journal Articles Theoretical Computer Science Year : 2022

Certification of an exact worst-case self-stabilization time

(1) , (1) , (2)

1
2

Karine Altisen

Function : Author

VERIMAG

Pierre Corbineau

Function : Author
PersonId : 1190153
ORCID : 0000-0001-9267-7593

VERIMAG

Stéphane Devismes

Function : Author
PersonId : 738998
IdHAL : stephane-devismes
ORCID : 0000-0002-8032-9732
IdRef : 117725161

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

Domains

Computer Science [cs] Networking and Internet Architecture [cs.NI]

Stéphane Devismes : Connect in order to contact the contributor

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

Submitted on : Monday, November 21, 2022-9:06:27 AM

Last modification on : Friday, March 24, 2023-2:53:29 PM

Dates and versions

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

Identifiers

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

Cite

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

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UGA PRES_CLERMONT IMAG CNRS VERIMAG U-PICARDIE MIS

16 View

0 Download

Certification of an exact worst-case self-stabilization time

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share