Y. Afek, H. Attiya, D. Dolev, E. Gafni, M. Merritt et al., Atomic snapshots of shared memory, Journal of the ACM, vol.40, issue.4, pp.873-890, 1993.
DOI : 10.1145/153724.153741

O. Arafat, A. Bauer, M. Leucker, and C. Schallhart, Runtime verification revisited, 2005.

H. Attiya and S. Rajsbaum, The Combinatorial Structure of Wait-Free Solvable Tasks, SIAM Journal on Computing, vol.31, issue.4, pp.1286-1313, 2002.
DOI : 10.1137/S0097539797330689

H. Attiya and J. L. Welch, Distributed computing: fundamentals, simulations and advanced topics, 2004.
DOI : 10.1002/0471478210

B. Awerbuch and G. Varghese, 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

A. Bauer and Y. Falcone, Decentralised LTL monitoring. Formal Methods, lncs #7436, pp.85-100, 2012.
DOI : 10.1007/978-3-642-32759-9_10

URL : https://hal.archives-ouvertes.fr/hal-00857286

A. Bauer, M. Leucker, and C. Schallhart, Monitoring of real-time properties. FSTTCS, lncs #4337, pp.260-272, 2006.

A. Bauer, M. Leucker, and C. Schallhart, Comparing LTL Semantics for Runtime Verification, Journal of Logic and Computation, vol.20, issue.3, pp.651-674, 2010.
DOI : 10.1093/logcom/exn075

S. Berkovich, B. Bonakdarpour, and S. Fischmeister, GPU-based Runtime Verification, 2013 IEEE 27th International Symposium on Parallel and Distributed Processing, pp.1025-1036, 2013.
DOI : 10.1109/IPDPS.2013.105

B. Bonakdarpour, S. Navabpour, and S. Fischmeister, Sampling-based runtime verification. Formal Methods, pp.88-102, 2011.

J. Burnim, K. Sen, and C. Stergiou, Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models, TACAS, lncs#6605, pp.11-25, 2011.
DOI : 10.1145/42190.42277

K. M. Chandy and L. Lamport, Distributed snapshots: determining global states of distributed systems, ACM Transactions on Computer Systems, vol.3, issue.1, pp.63-75, 1985.
DOI : 10.1145/214451.214456

H. Chauhan, V. K. Garg, A. Natarajan, and N. Mittal, A Distributed Abstraction Algorithm for Online Predicate Detection, 2013 IEEE 32nd International Symposium on Reliable Distributed Systems, pp.101-110, 2013.
DOI : 10.1109/SRDS.2013.19

R. Cooper and K. Marzullo, Consistent detection of global predicates. Workshop on Parallel and Distributed Debugging, pp.167-174, 1991.

M. J. Fischer, N. A. Lynch, and M. S. Paterson, 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

P. Fraigniaud, A. Korman, and D. Peleg, Local Distributed Decision, 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science, pp.708-717, 2011.
DOI : 10.1109/FOCS.2011.17

URL : https://hal.archives-ouvertes.fr/hal-00912561

P. Fraigniaud, S. Rajsbaum, and C. Travers, Locality and Checkability in Wait-Free Computing, Distributed Computing, vol.15, issue.4, pp.223-242, 2013.
DOI : 10.1007/BF01961540

URL : https://hal.archives-ouvertes.fr/hal-00992781

P. Fraigniaud, S. Rajsbaum, and C. Travers, On the Number of Opinions Needed for Fault- Tolerant Run-Time Monitoring in Distributed Systems Rapport de recherche, p.1011079, 2014.

A. Genon, T. Massart, and C. Meuter, Monitoring distributed controllers: When an efficient LTL algorithm on sequences is needed to model-check traces. Formal Methods , lncs #4085, pp.557-57, 2006.

J. Ha, M. Arnold, S. M. Blackburn, and K. S. Mckinley, A concurrent dynamic analysis framework for multicore hardware, OOPSLA, pp.155-174, 2009.

M. Henle, A Combinatorial Introduction to Topology, 1983.

M. Herlihy, D. Kozlov, and S. Rajsbaum, Distributed Computing Through Combinatorial Topology, 2013.

M. Herlihy and N. Shavit, The topological structure of asynchronous computability, Journal of the ACM, vol.46, issue.6, pp.858-923, 1999.
DOI : 10.1145/331524.331529

O. Kupferman and M. Y. Vardi, Model checking of safety properties. Form, Formal Methods in System Design, vol.19, issue.3, pp.291-314, 2001.
DOI : 10.1023/A:1011254632723

K. Sen, A. Vardhan, G. Agha, and G. Rosu, Efficient decentralized monitoring of safety in distributed systems, Proceedings. 26th International Conference on Software Engineering, pp.418-427, 2004.
DOI : 10.1109/ICSE.2004.1317464

K. Sen, A. Vardhan, G. Agha, and G. Rosu, Decentralized runtime analysis of multithreaded applications, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, 2006.
DOI : 10.1109/IPDPS.2006.1639591

H. Zhu, M. B. Dwyer, and S. Goddard, Predictable Runtime Monitoring, 2009 21st Euromicro Conference on Real-Time Systems, pp.173-183, 2009.
DOI : 10.1109/ECRTS.2009.23