Y. A. Alrahman, R. De-nicola, and G. Garbi, Goat: Attribute-based interaction in google go, International Symposium on Leveraging Applications of Formal Methods, pp.288-303, 2018.

Y. A. Alrahman, R. De-nicola, G. Garbi, and M. Loreti, A distributed coordination infrastructure for attribute-based interaction, International Conference on Formal Techniques for Distributed Objects, Components, and Systems, pp.1-20, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01824810

Y. A. Alrahman, R. De-nicola, and M. Loreti, On the power of attribute-based communication, Proc. of the International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), pp.1-18, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01432924

Y. A. Alrahman, R. De-nicola, and M. Loreti, Programming of cas systems by relying on attribute-based communication, International Symposium on Leveraging Applications of Formal Methods, pp.539-553, 2016.

Y. A. Alrahman, R. De-nicola, and M. Loreti, A behavioural theory for interactions in collective-adaptive systems, 2017.

Y. A. Alrahman, R. De-nicola, and M. Loreti, Programming the interactions of collective adaptive systems by relying on attribute-based communication, 2017.

S. Anderson, N. Bredeche, A. Eiben, G. Kampis, and M. Van-steen, Adaptive collective systems: herding black sheep, BookSprints for ICT Research, 2013.

R. Baldoni, S. Cimmino, and C. Marchetti, Total order communications: A practical analysis, European Dependable Computing Conference, pp.38-54, 2005.

K. Birman, A. Schiper, and P. Stephenson, Lightweight causal and atomic group multicast, ACM Trans. Comput. Syst, vol.9, issue.3, pp.272-314, 1991.

,

R. De-nicola, T. Duong, O. Inverso, and F. Mazzanti, Verifying properties of systems relying on attribute-based communication, ModelEd, TestEd, TrustEd -Essays Dedicated to Ed Brinksma, pp.169-190, 2017.

R. De-nicola, T. Duong, O. Inverso, and C. Trubiani, AErlang: empowering Erlang with attribute-based communication, Science of Computer Programming, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01657341

R. De-nicola, M. Loreti, R. Pugliese, and F. Tiezzi, A formal approach to autonomic systems programming: The SCEL language, ACM Transactions on Autonomous and Adaptive Systems, vol.9, issue.2, pp.1-7, 2014.

D. Gale and L. S. Shapley, College admissions and the stability of marriage, The American Mathematical Monthly, vol.69, issue.1, pp.9-15, 1962.

H. Beek, M. Fantechi, A. Gnesi, S. Mazzanti, and F. , A state/event-based modelchecking approach for the analysis of abstract system properties, Science of Computer Programming, vol.76, issue.2, pp.119-135, 2011.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.

K. V. Prasad, A calculus of broadcasting systems, Science of Computer Programming, vol.25, issue.2-3, pp.285-327, 1995.