Y. Abd-alrahman, R. De-nicola, and M. Loreti, On the Power of Attribute-Based Communication, Components, and Systems -36th IFIP International Conference, pp.1-18978, 2016.
DOI : 10.1007/978-3-642-45364-9_11

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

Y. Abd-alrahman, R. De-nicola, and M. Loreti, Programming of CAS Systems by Relying on Attribute-Based Communication, Foundational Techniques -7th International Symposium, ISoLA '16, 2016, Proceedings, Part I, pp.539-553978, 2016.
DOI : 10.1109/WETICE.2015.32

Y. Abd-alrahman, R. De-nicola, and M. Loreti, Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication. ArXiv e-prints, 2017.

Y. Abd-alrahman, R. De-nicola, M. Loreti, F. Tiezzi, and R. Vigo, A calculus for attribute-based communication, Proceedings of the 30th Annual ACM Symposium on Applied Computing , SAC '15, pp.1840-1845, 2015.
DOI : 10.1007/978-3-540-89437-7_8

G. Agha, Actors: A Model of Concurrent Computation in Distributed Systems, 1986.

E. Albert and I. Lanese, Formal Techniques for Distributed Objects, Components , and Systems -36th IFIP WG 6.1 International Conference Proceedings, Lecture Notes in Computer Science, 2016.

J. M. Chang and N. F. Maxemchuk, Reliable broadcast protocols, ACM Transactions on Computer Systems, vol.2, issue.3, pp.251-273, 1984.
DOI : 10.1145/989.357400

F. Cristian, Asynchronous atomic broadcast, IBM Technical Disclosure Bulletin, vol.33, issue.9, pp.115-116, 1991.

F. Cristian and S. Mishra, The pinwheel asynchronous atomic broadcast protocols, Proceedings ISADS 95. Second International Symposium on Autonomous Decentralized Systems, pp.215-221398975, 1995.
DOI : 10.1109/ISADS.1995.398975

D. Nicola, R. Duong, T. Inverso, O. Trubiani, and C. , AErlang at Work, SOFSEM 2017: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, pp.485-497
DOI : 10.1145/1291151.1291171

. Springer, , 2017.

X. Défago, A. Schiper, and P. Urbán, Total order broadcast and multicast algorithms, ACM Computing Surveys, vol.36, issue.4, pp.372-421, 2004.
DOI : 10.1145/1041680.1041682

A. Ferscha, Collective adaptive systems, Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, UbiComp '15, 2015.
DOI : 10.1016/j.pmcj.2014.12.002

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

T. R. Jensen and B. Toft, Graph coloring problems, 1995.

L. Lopes, F. Silva, and V. T. Vasconcelos, A virtual machine for a process calculus Principles and Practice of Declarative Programming, pp.244-260, 1999.

K. Prasad, A calculus of broadcasting systems, TAPSOFT'91, pp.338-358, 1991.

J. B. Robertson, Continuous-Time Markov Chains (W. J. Anderson), SIAM Review, vol.36, issue.2, pp.316-317, 1994.
DOI : 10.1137/1036084

D. Sangiorgi and D. Walker, The pi-calculus: a Theory of Mobile Processes, 2003.

T. P. Schulze, Efficient kinetic Monte Carlo simulation, Journal of Computational Physics, vol.227, issue.4, pp.2455-2462, 2008.
DOI : 10.1016/j.jcp.2007.10.021

M. Vukoli´cvukoli´c, The quest for scalable blockchain fabric: Proof-of-work vs. bft replication Open Problems in Network Security, pp.112-125, 2016.