Certification of an Exact Worst-Case Self-Stabilization Time-Reference-Cited by-同舟云学术

Certification of an Exact Worst-Case Self-Stabilization Time

Published:2021-01-05 Issue: Volume: Page:
ISSN:
Container-title:International Conference on Distributed Computing and Networking 2021
language:
Short-container-title:

Author:

Altisen Karine¹,Corbineau Pierre²,Devismes Stéphane³

Affiliation:

1. Verimag, FR

2. Université Grenoble Alpes, FR

3. VERIMAG UMR 5104, FR

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3427796.3427832

Reference30 articles.

1. K. Altisen P. Corbineau and S. Devismes. 2017. A Framework for Certified Self-Stabilization. Logical Methods in Computer Science 13 4 (2017). K. Altisen P. Corbineau and S. Devismes. 2017. A Framework for Certified Self-Stabilization. Logical Methods in Computer Science 13 4 (2017).

2. K. Altisen S. Devismes S. Dubois and F. Petit. 2019. Introduction to Distributed Self-Stabilizing Algorithms. Morgan & Claypool Publishers. K. Altisen S. Devismes S. Dubois and F. Petit. 2019. Introduction to Distributed Self-Stabilizing Algorithms. Morgan & Claypool Publishers.

3. C. Auger Z. Bouzid P. Courtieu S. Tixeuil and X. Urbain. 2013. Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. In Stabilization Safety and Security of Distributed Systems SSS 2013. C. Auger Z. Bouzid P. Courtieu S. Tixeuil and X. Urbain. 2013. Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. In Stabilization Safety and Security of Distributed Systems SSS 2013.

4. Y. Bertot and P. Castéran. 2004. Interactive Theorem Proving and Program Development - Coq’Art: The Calculus of Inductive Constructions. Springer. Y. Bertot and P. Castéran. 2004. Interactive Theorem Proving and Program Development - Coq’Art: The Calculus of Inductive Constructions. Springer.

5. D. Cansell D. Méry and S. Merz. 2001. Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams. In GI Jahrestagung (1). 628–634. D. Cansell D. Méry and S. Merz. 2001. Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams. In GI Jahrestagung (1). 628–634.