A. Abel, B. Pientka, D. Thibodeau, and A. Setzer, Copatterns: programming infinite structures by observations, The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, 2013.

K. Altisen, P. Corbineau, and S. Devismes, PADEC: A Framework for Certified SelfStabilization

K. Altisen, P. Corbineau, and S. Devismes, A Framework for Certified SelfStabilization, Logical Methods in Computer Science (special issue of FORTE 2016), vol.13, issue.4, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01272158

K. Altisen, S. Devismes, and A. Durand, Concurrency in snap-stabilizing local resource allocation, J. Parallel Distrib. Comput, vol.102, pp.42-56, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01099186

C. Auger, Z. Bouzid, P. Courtieu, S. Tixeuil, and X. Urbain, Certified Impossibility Results for Byzantine-Tolerant Mobile Robots, Stabilization, Safety, and Security of Distributed Systems -15th International Symposium, SSS 2013, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00930267

J. Beauquier, M. Gradinariu, and C. Johnen, Cross-Over Composition -Enforcement of Fairness under Unfair Adversary, 5th International Workshop on SelfStabilizing Systems, pp.19-34, 2001.

B. Bérard, P. Lafourcade, L. Millet, M. Potop-butucaru, Y. Thierry-mieg et al., Formal verification of mobile robot protocols, Distributed Computing, vol.29, issue.6, pp.459-487, 2016.

Y. Bertot, Filters on CoInductive Streams, an Application to Eratosthenes' Sieve. In: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070658

Y. Bertot and P. Castéran, Interactive Theorem Proving and Program DevelopmentCoq'Art: The Calculus of Inductive Constructions, Texts in Theoretical Computer Science. An EATCS Series, 2004.

L. Blin, P. Fraigniaud, and B. Patt-shamir, On Proof-Labeling Schemes versus Silent Self-stabilizing Algorithms, 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2014), vol.8756, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01102123

E. Caron, F. Chuffart, and C. Tedeschi, When self-stabilization meets real platforms: An experimental study of a peer-to-peer service discovery system, Future Generation Computer Systems, vol.29, issue.6, pp.1533-1543, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00762693

E. Caron, A. K. Datta, B. Depardon, and L. L. Larmore, A self-stabilizing k-clustering algorithm for weighted graphs, J. Parallel Distrib. Comput, vol.70, issue.11, pp.1159-1173, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00758590

P. Castéran, V. Filou, and M. Mosbah, Certifying Distributed Algorithms by Embedding Local Computation Systems in the Coq Proof Assistant, Symbolic Computation in Software Science (SCSS'09, 2009.

M. Chen and J. F. Monin, Formal Verification of Netlog Protocols, Sixth International Symposium on Theoretical Aspects of Software Engineering, vol.2012, pp.4-6, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00733634

S. Coupet-grimal, An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions, J. Log. Comput, vol.13, issue.6, pp.801-813, 2003.

P. Courtieu, Proving Self-Stabilization with a Proof Assistant, 16th International Parallel and Distributed Processing Symposium, pp.15-19, 2002.

P. Courtieu, L. Rieg, S. Tixeuil, and X. Urbain, Certified Universal Gathering in R 2 for Oblivious Mobile Robots, Distributed Computing -30th International Symposium, DISC 2016, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01274295

A. K. Datta, S. Devismes, K. Heurtefeux, L. L. Larmore, and Y. Rivierre, Competitive self-stabilizing k-clustering, Theor. Comput. Sci, vol.626, pp.110-133, 2016.

A. K. Datta, S. Gurumurthy, F. Petit, and V. Villain, Self-Stabilizing Network Orientation Algorithms In Arbitrary Rooted Networks, Stud. Inform. Univ, vol.1, issue.1, pp.1-22, 2001.

A. K. Datta, L. L. Larmore, S. Devismes, K. Heurtefeux, and Y. Rivierre, SelfStabilizing Small k-Dominating Sets, IJNC, vol.3, issue.1, pp.116-136, 2013.

E. W. Dijkstra, Self-stabilizing Systems in Spite of Distributed Control, Commun. ACM, vol.17, issue.11, pp.643-644, 1974.

H. T. Doan, F. Bonnet, K. Ogata, S. Liu, Z. Duan et al., Structured Object-Oriented Formal Language and Method -6th International Workshop, SOFL+MSVL 2016, vol.10189, pp.201-219, 2016.

S. Dolev, Self-stabilization, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00627780

S. Dubois and S. Tixeuil, A Taxonomy of Daemons in Self-stabilization, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00628390

L. Fei, S. Yong, D. Hong, and R. Yizhi, Self Stabilizing Distributed Transactional Memory Model and Algorithms, Journal of Computer Research and Development, vol.51, issue.9, p.2046, 2014.

E. Giménez, An Application of Co-inductive Types in Coq: Verification of the Alternating Bit Protocol, Types for Proofs and Programs, International Workshop TYPES'95, 1995.

M. Gouda and T. Herman, Adaptive Programming, IEEE Transactions on Software Engineering, vol.17, pp.911-921, 1991.

P. Küfner, U. Nestmann, and C. Rickmann, Formal Verification of Distributed Algorithms, Theoretical Computer Science, vol.7604, pp.209-224, 2012.

S. S. Kulkarni, J. M. Rushby, and N. Shankar, A case-study in component-based mechanical verification of fault-tolerant programs, 1999 ICDCS Workshop on Selfstabilizing Systems, 1999.

L. Lamport, How to write a 21st century proof, Journal of Fixed Point Theory and Applications, vol.11, issue.1, pp.43-63, 2012.

X. Leroy and H. Grall, Coinductive big-step operational semantics, Inf. Comput, vol.207, issue.2, pp.284-304, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00289545

L. C. Paulson, Mechanizing Coinduction and Corecursion in Higher-Order Logic, J. Log. Comput, vol.7, issue.2, pp.175-204, 1997.

A. Pnueli, The Temporal Logic of Programs, 18th Annual Symposium on Foundations of Computer Science, pp.46-57, 1977.

G. Tel, Introduction to Distributed Algorithms, 2001.

, The Coq Development Team: The Coq Proof Assistant Documentation, 2012.