G. A. Agha, ACTORS -a model of concurrent computation in distributed systems series in artificial intelligence, 1990.

G. Basler, M. Mazzucchi, T. Wahl, and D. Kroening, Symbolic Counter Abstraction for Concurrent Software, Computer Aided Verification, pp.64-78, 2009.
DOI : 10.1007/978-3-642-02658-4_9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.434.9551

G. Bracha and S. Toueg, Asynchronous consensus and broadcast protocols, Journal of the ACM, vol.32, issue.4, pp.824-840, 1985.
DOI : 10.1145/4221.214134
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.8693

C. Cachin, K. Kursawe, F. Petzold, and V. Shoup, Secure and Efficient Asynchronous Broadcast Protocols, pp.524-541, 2001.
DOI : 10.1007/3-540-44647-8_31
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.5602

E. M. Clarke, E. A. Emerson, S. Jha, and A. P. Sistla, Symmetry reductions in model checking, Computer Aided Verification, pp.147-158, 1998.
DOI : 10.1007/BFb0028741

M. Correia, G. S. Veronese, N. F. Neves, and P. Veríssimo, Byzantine consensus in asynchronous message-passing systems: a survey, International Journal of Critical Computer-Based Systems, vol.2, issue.2, pp.141-161, 2011.
DOI : 10.1504/IJCCBS.2011.041257
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.5623

T. Cui, L. Chen, and T. Ho, Distributed optimization in wireless networks using broadcast advantage, Decision and Control, pp.5839-5844, 2007.

R. Dechter and L. Kleinrock, Broadcast Communications and Distributed Algorithms, IEEE Transactions on Computers, vol.35, issue.3, pp.210-219, 1986.
DOI : 10.1109/TC.1986.1676745

E. A. Emerson and R. J. Trefler, From asymmetry to full symmetry: New techniques for symmetry reduction in model checking. In: Correct Hardware Design and Verification Methods, pp.142-156, 1999.

J. A. Fill, H. M. Mahmoud, and W. Szpankowski, On the distribution for the duration of a randomized leader election algorithm, The Annals of Applied Probability, vol.6, issue.4, pp.1260-1283, 1996.
DOI : 10.1214/aoap/1035463332

P. Godefroid, Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem, LNCS, vol.1032, 1996.

C. Hewitt, Viewing control structures as patterns of passing messages, Artificial Intelligence, vol.8, issue.3, pp.323-364, 1977.
DOI : 10.1016/0004-3702(77)90033-9
URL : http://dspace.mit.edu/handle/1721.1/6272#files-area

M. M. Jaghoori, M. Sirjani, M. R. Mousavi, E. Khamespanah, and A. Movaghar, Symmetry and partial order reduction techniques in model checking Rebeca, Acta Informatica, vol.9, issue.2, pp.33-66, 2010.
DOI : 10.1007/s00236-009-0111-x
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.2867

J. Katoen, Model checking: One can do much more than you think! In: Fundamentals of Software Engineering, pp.1-14, 2011.

M. Larrea, M. Raynal, I. S. Arriola, and R. Cortiñas, Specifying and implementing an eventual leader service for dynamic systems, International Journal of Web and Grid Services, vol.8, issue.3, pp.204-224, 2012.
DOI : 10.1504/IJWGS.2012.049167
URL : https://hal.archives-ouvertes.fr/inria-00543977

S. P. Levitan and C. C. Foster, Finding an extremum in a network, 9th International Symposium on Computer Architecture, pp.321-325, 1982.
DOI : 10.1145/1067649.801741

C. U. Martel, Maximum finding on a multiple access broadcast network, Information Processing Letters, vol.52, issue.1, pp.7-15, 1994.
DOI : 10.1016/0020-0190(94)90133-3

K. L. Mcmillan, Symbolic model checking, Kluwer, 1993.

P. M. Melliar-smith, L. E. Moser, and V. Agrawala, Broadcast protocols for distributed systems, IEEE Transactions on Parallel and Distributed Systems, vol.1, issue.1, pp.17-25, 1990.
DOI : 10.1109/71.80121
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.3113

A. Mostéfaoui, M. Raynal, and C. Travers, Crash-resilient time-free eventual leadership, Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004., pp.208-217, 2004.
DOI : 10.1109/RELDIS.2004.1353022

M. Okun and A. Barak, Efficient Algorithms for Anonymous Byzantine Agreement, Theory of Computing Systems, vol.7, issue.1, pp.222-238, 2008.
DOI : 10.1007/s00224-007-9006-9

R. Ostrovsky, S. Rajagopalan, and U. V. Vazirani, Simple and efficient leader election in the full information model, Proceedings of the twenty-sixth annual ACM symposium on Theory of computing , STOC '94, pp.234-242, 1994.
DOI : 10.1145/195058.195141

A. Pnueli, J. Xu, and L. D. Zuck, Liveness with (0, 1, infty)-Counter Abstraction, Proceedings of the 14th International Conference on Computer Aided Verification. pp. 107?122. CAV '02, 2002.
DOI : 10.1007/3-540-45657-0_9

A. H. Reynisson, M. Sirjani, L. Aceto, M. Cimini, A. Jafari et al., Modelling and simulation of asynchronous real-time systems using Timed Rebeca, Science of Computer Programming, vol.89, pp.41-68, 2014.
DOI : 10.1016/j.scico.2014.01.008

H. Sabouri and R. Khosravi, Delta Modeling and Model Checking of Product Families, pp.51-65, 2013.
DOI : 10.1007/978-3-642-40213-5_4

S. Shiau and C. Yang, A fast maximum finding algorithm on broadcast communication, Computing and Combinatorics, pp.472-481, 1995.
DOI : 10.1007/BFb0030868

S. Shiau and C. Yang, A Fast Sorting Algorithm and Its Generalization on Broadcast Communications, Computing and Combinatorics, pp.252-261, 2000.
DOI : 10.1007/3-540-44968-X_25

M. Sirjani, F. S. De-boer, A. Movaghar, and A. Shali, Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), pp.212-221, 2005.
DOI : 10.1109/ACSD.2005.12

M. Sirjani and M. M. Jaghoori, Ten years of analyzing actors: Rebeca experience. In: Formal Modeling: Actors, Open Systems, Biological Systems, pp.20-56, 2011.
DOI : 10.1007/978-3-642-24933-4_3

M. Sirjani, A. Movaghar, A. Shali, and F. S. De-boer, Modeling and verification of reactive systems using Rebeca, Fundam. Inform, vol.63, issue.4, pp.385-410, 2004.

M. Sirjani, A. Shali, M. M. Jaghoori, H. Iravanchi, and A. Movaghar, A front-end tool for automated abstraction and modular verification of actor-based models, Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004., pp.145-150, 2004.
DOI : 10.1109/CSD.2004.1309125

M. Varshosaz and R. Khosravi, Modeling and Verification of Probabilistic Actor Systems Using pRebeca, pp.135-150, 2012.
DOI : 10.1007/978-3-642-34281-3_12