B. Bonakdarpour, S. Devismes, and F. Petit, Snap-stabilizing committee coordination, IPDPS'2011, 25th IEEE International Parallel and Distributed Processing Symposium, pp.1071-1072, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01286781

K. M. Chandy and J. Misra, Parallel Program Design
DOI : 10.1007/978-1-4613-9668-0_6

R. Bagrodia, A distributed algorithm to implement n-party rendezvous, p.1076
DOI : 10.1007/3-540-18625-5_48

R. Bagrodia, Process synchronization: design and performance evaluation of distributed algorithms, IEEE Transactions on Software Engineering, vol.15, issue.9, pp.1053-1065, 1989.
DOI : 10.1109/32.31364

Y. Tsay and R. Bagrodia, Some impossibility results in interprocess synchronization, Dis- 1081 tributed Computing, pp.221-231, 1993.
DOI : 10.1007/BF02242710

C. Wu, G. Bochmann, and M. Y. Yao, Fairness of n-party synchronization and its implementation 1083 in a distributed environment, Workshop on Distributed Algorithms (WDAG), pp.1084-279, 1993.

D. Kumar, An implementation of N-party synchronization using tokens, Proceedings.,10th International Conference on Distributed Computing Systems, pp.320-327, 1990.
DOI : 10.1109/ICDCS.1990.89299

B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf, and J. , A framework for automated distributed implementation of component-based models, Distributed Computing, vol.10, issue.2, pp.383-409, 2012.
DOI : 10.1007/s00446-012-0168-6
URL : https://hal.archives-ouvertes.fr/hal-00877995

A. Bui, A. K. Datta, F. Petit, and V. Villain, State-optimal snap-stabilizing PIF in tree networks, Proceedings 19th IEEE International Conference on Distributed Computing Systems, pp.78-85, 1091.
DOI : 10.1109/SLFSTB.1999.777490

]. A. Bui, A. K. Datta, F. Petit, and V. , Villain, Snap-stabilization and PIF in tree networks, Dis- 1093 tributed Computing, pp.1092-1095, 2007.

]. E. Dijkstra, Self-stabilizing systems in spite of distributed control, Communications of the ACM, vol.17, issue.11, p.1094
DOI : 10.1145/361179.361202

]. S. Dolev, A. Israeli, and S. Moran, Uniform dynamic self-stabilizing leader election, IEEE Trans- 1097 actions on Parallel and Distributed Systems, vol.8, issue.4, pp.1096-424, 1997.

S. M. Dolev-]-k, J. Chandy, and . Misra, Self-stabilization The drinking philosophers problem, ACM Transactions on Program- 1100 ming Languages and Systems (TOPLAS), vol.6, issue.144, pp.1098-1099, 1984.

]. B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf, and J. Sifakis, Automated conflict-free dis- 1102 tributed implementation of component-based models, IEEE Symposium on Industrial 1103 Embedded Systems (SIES), pp.1101-108, 2010.

]. B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf, and J. , Sifakis, From high-level component- 1105 based models to distributed implementations, ACM International Conference on Embed- 1106 ded Software (EMSOFT), pp.1104-209, 2010.

J. L. Welch and N. A. Lynch, A modular drinking philosophers algorithm, Distributed Computing 1108, pp.233-244, 1993.
DOI : 10.1007/BF02242711

A. K. Datta, R. Hadid, and V. , Villain, A self-stabilizing token-based k-out-of-l exclusion algo- 1110 rithm On fairness notions in distributed systems: I. a characterization of implementabil- 1113 ity, Concurrency and Computation: Practice and Experience Information and Computation, vol.15, issue.1661, pp.110911-110923, 2001.

M. Gairing, W. Goddard, S. T. Hedetniemi, P. Kristiansen, A. A. Mcrae-arora et al., Distance-two infor- 1115 mation in self-stabilizing algorithms, Parallel Processing Letters 14 (3-4) Superstabilizing protocols for dynamic distributed systems, Self-stabilizing leader election in optimal space, pp.387-398, 1118.

A. K. Datta, C. Johnen, F. Petit, and V. , Villain, Self-stabilizing depth-first token circulation in 1124 arbitrary rooted networks, Distributed Computing, vol.13, issue.4, pp.1123-207, 2000.

]. A. Cournier, S. Devismes, and V. , Villain, A snap-stabilizing DFS with a lower space requirement, Self-Stabilizing Systems (SSS), pp.1125-1158, 1126.

]. A. Cournier, S. Devismes, and V. , Villain, Light enabling snap-stabilization of fundamental pro- 1128 tocols, ACM Transactions on Autonomous and Adaptive Systems (TAAS), vol.4, issue.1, p.1127