G. Agha, J. Christian, and . Callsen, ActorSpace: an open distributed programming paradigm, 1993.
DOI : 10.1145/155332.155335

Y. Abd-alrahman, R. D. Nicola, and M. Loreti, On the power of attribute-based communication, extended report, 2016.

Y. Abd-alrahman, R. D. 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.1145/2695664.2695668

A. Michael, . Bass, T. Frank, and . Nguyen, Unified publish and subscribe paradigm for local and remote publishing destinations, US Patent, vol.6, p.405266, 2002.

V. Gregory, I. Chockler, R. Keidar, and . Vitenberg, Group communication specifications: a comprehensive study, ACM Computing (CSUR), vol.33, issue.4, pp.427-469

R. De-nicola, G. Ferrari, M. Loreti, and R. Pugliese, A languagebased approach to autonomic computing, Formal Methods for Components and Objects, pp.25-48, 2013.

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, pp.1-29, 2014.
DOI : 10.1007/978-3-319-15317-9_2

C. Ene and T. Muntean, A broadcast-based calculus for communicating systems, Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001, pp.30149-30149, 2001.
DOI : 10.1109/IPDPS.2001.925136

P. Th-eugster, A. Pascal, R. Felber, A. Guerraoui, and . Kermarrec, The many faces of publish/subscribe, ACM Computing Surveys, vol.35, issue.2, pp.114-131
DOI : 10.1145/857076.857078

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, pp.893-895
DOI : 10.1145/2800835.2809508

T. Given-wilson, D. Gorla, and B. Jay, Concurrent pattern calculus, Theoretical Computer Science, pp.244-258, 2010.
DOI : 10.1007/978-3-642-15240-5_18
URL : https://hal.archives-ouvertes.fr/hal-01054456

C. A. and R. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.
DOI : 10.1145/359576.359585

W. Hugh, . Holbrook, R. David, and . Cheriton, Ip multicast channels: Express support for large-scale single-source applications, In ACM SIGCOMM Computer Communication Review, vol.29, pp.65-78, 1999.

K. Honda and N. Yoshida, On reduction-based process semantics, Theoretical Computer Science, vol.151, issue.2, pp.437-486, 1995.
DOI : 10.1016/0304-3975(95)00074-7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.9756

M. John, C. Lhoussaine, and J. Niehren, Dynamic Compartments in the Imperative ??-Calculus, Computational Methods in Systems Biology, pp.235-250, 2009.
DOI : 10.1007/978-3-540-71316-6_28
URL : https://hal.archives-ouvertes.fr/inria-00422970

M. John, C. Lhoussaine, J. Niehren, M. Adelinde, and . Uhrmacher, The Attributed Pi-Calculus with Priorities, In Transactions on Computational Systems Biology XII, vol.325, issue.3, pp.13-76, 2010.
DOI : 10.1016/j.tcs.2004.03.065
URL : https://hal.archives-ouvertes.fr/inria-00422969

M. Mamei and F. Zambonelli, Programming pervasive and mobile computing applications with the TOTA middleware, Second IEEE Annual Conference on Pervasive Computing and Communications, 2004. Proceedings of the, pp.263-273, 2004.
DOI : 10.1109/PERCOM.2004.1276864

R. Milner, Communication and concurrency, 1989.

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, ii. Information and computation, pp.41-77, 1992.

R. Milner and D. Sangiorgi, Barbed bisimulation, Automata, Languages and Programming, pp.685-695, 1992.
DOI : 10.1007/3-540-55719-9_114

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

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

W. Jeffrey, G. Sanders, and . Smith, Formal ensemble engineering, Software- Intensive Systems and New Computing Paradigms, pp.132-138, 2008.

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

I. Sommerville, D. Cliff, R. Calinescu, J. Keen, T. Kelly et al., Large-scale complex IT systems, Communications of the ACM, vol.55, issue.7, pp.71-77, 2012.
DOI : 10.1145/2209249.2209268
URL : http://arxiv.org/abs/1109.3444

R. Vigo, F. Nielson, and H. Nielson, Broadcast, Denial-of-Service, and Secure Communication, 10th International Conference on integrated Formal Methods (iFM'13), pp.410-427, 2013.
DOI : 10.1007/978-3-642-38613-8_28

M. Viroli, F. Damiani, and J. Beal, A Calculus of Computational Fields, Advances in Service-Oriented and Cloud Computing, pp.114-128
DOI : 10.1007/978-3-642-45364-9_11
URL : https://hal.archives-ouvertes.fr/hal-01290075