Local and global properties in networks of processors (Extended Abstract), Proceedings of the twelfth annual ACM symposium on Theory of computing , STOC '80, pp.28-30, 1980. ,
DOI : 10.1145/800141.804655
Self-stabilization by local checking and correction, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science, pp.268-277, 1991. ,
DOI : 10.1109/SFCS.1991.185378
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.211.8704
Renaming in an asynchronous environment, Journal of the ACM, vol.37, issue.3, pp.524-548, 1990. ,
DOI : 10.1145/79147.79158
The Combinatorial Structure of Wait-Free Solvable Tasks, SIAM Journal on Computing, vol.31, issue.4, pp.1286-1313, 2002. ,
DOI : 10.1137/S0097539797330689
Distributed program checking: a paradigm for building self-stabilizing distributed protocols, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science, pp.258-267, 1991. ,
DOI : 10.1109/SFCS.1991.185377
Deterministic distributed vertex coloring in polylogarithmic time, 29th ACM Symp. on Principles of Distributed Computing (PODC), pp.410-419, 2010. ,
Designing programs that check their work, Journal of the ACM, vol.42, issue.1, pp.269-291, 1995. ,
DOI : 10.1145/200836.200880
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.2537
Self-testing/correcting with applications to numerical problems, Journal of Computer and System Sciences, vol.47, issue.3, pp.549-595, 1993. ,
DOI : 10.1016/0022-0000(93)90044-W
More Choices Allow More Faults: Set Consensus Problems in Totally Asynchronous Systems, Information and Computation, vol.105, issue.1, pp.132-158, 1993. ,
DOI : 10.1006/inco.1993.1043
Local Terminations and Distributed Computability in Anonymous Networks, 22nd International Symposium on Distributed Computing (DISC), pp.47-62, 2008. ,
DOI : 10.1007/978-3-540-87779-0_4
URL : https://hal.archives-ouvertes.fr/hal-00332759
On the power of synchronization between two adjacent processes, Distributed Computing, vol.10, issue.9, pp.177-196, 2010. ,
DOI : 10.1007/s00446-010-0115-3
URL : https://hal.archives-ouvertes.fr/hal-00527102
Deterministic coin tossing with applications to optimal parallel list ranking, Information and Control, vol.70, issue.1, p.3253, 1986. ,
DOI : 10.1016/S0019-9958(86)80023-7
Reaching approximate agreement in the presence of faults, Journal of the ACM, vol.33, issue.3, pp.499-516, 1986. ,
DOI : 10.1145/5925.5931
Spot-Checkers, Journal of Computer and System Sciences, vol.60, issue.3, pp.717-751, 2000. ,
DOI : 10.1006/jcss.1999.1692
Impossibility of distributed consensus with one faulty process, Journal of the ACM, vol.32, issue.2, pp.374-382, 1985. ,
DOI : 10.1145/3149.214121
Communication algorithms with advice, Journal of Computer and System Sciences, vol.76, issue.3-4, pp.3-4, 2010. ,
DOI : 10.1016/j.jcss.2009.07.002
URL : https://hal.archives-ouvertes.fr/hal-00412058
Local Distributed Decision, 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science ,
DOI : 10.1109/FOCS.2011.17
URL : https://hal.archives-ouvertes.fr/hal-00912561
Efficient Learning of Typical Finite Automata from Random Walks, Information and Computation, vol.138, issue.1, pp.23-48, 1997. ,
DOI : 10.1006/inco.1997.2648
Three-Processor Tasks Are Undecidable, SIAM Journal on Computing, vol.28, issue.3, pp.970-983, 1999. ,
DOI : 10.1137/S0097539796305766
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.5196
A (de)constructive approach to program checking, Proceedings of the fourtieth annual ACM symposium on Theory of computing, STOC 08, pp.143-152, 2008. ,
DOI : 10.1145/1374376.1374399
Property testing and its connection to learning and approximation, Journal of the ACM, vol.45, issue.4, pp.653-750, 1998. ,
DOI : 10.1145/285055.285060
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.6097
Locally checkable proofs, 30th ACM Symp. on Principles of Distributed Computing, 2011. ,
The decidability of distributed decision tasks (extended abstract), Proceedings of the twenty-ninth annual ACM symposium on Theory of computing , STOC '97, pp.589-598, 1997. ,
DOI : 10.1145/258533.258652
A classification of wait-free loop agreement tasks, Theoretical Computer Science, vol.291, issue.1, pp.55-77, 2003. ,
DOI : 10.1016/S0304-3975(01)00396-6
The topological structure of asynchronous computability, Journal of the ACM, vol.46, issue.6, pp.858-923, 1999. ,
DOI : 10.1145/331524.331529
Toward more localized local algorithms, Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing, PODC '11, 2011. ,
DOI : 10.1145/1993806.1993814
URL : https://hal.archives-ouvertes.fr/hal-01241086
On the complexity of distributed graph coloring, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing , PODC '06, pp.7-15, 2006. ,
DOI : 10.1145/1146381.1146387
New Directions in Testing, DIMACS workshop on distributed computing and cryptography, vol.2, pp.191-202, 1991. ,
Distributed Algorithms, 1996. ,
Distributed enumeration, Information Processing Letters, vol.61, issue.5, pp.233-239, 1997. ,
DOI : 10.1016/S0020-0190(97)00022-7
What Can be Computed Locally?, SIAM Journal on Computing, vol.24, issue.6, pp.1259-1277, 1995. ,
DOI : 10.1137/S0097539793254571
Distributed Computing: A Locality-Sensitive Approach, SIAM, 2000. ,
DOI : 10.1137/1.9780898719772
Covering complexes with applications to algebra, Rocky Mountain Journal of Mathematics, vol.3, issue.4, pp.641-674, 1973. ,
DOI : 10.1216/RMJ-1973-3-4-641
Designing checkers for programs that run in parallel, Algorithmica, vol.7, issue.4, pp.287-301, 1996. ,
DOI : 10.1007/BF01961540