T. Bures, I. Gerostathopoulos, P. Hnetynka, J. Keznikl, M. Kit et al., DEECO: an ensemble-based component system, Proc. of the 16th ACM SIG-SOFT Symposium on Component Based Software Engineering (CBSE'13), pp.81-90, 2013.

G. Castagna, M. Dezani-ciancaglini, and L. Padovani, On global types and multi-party sessions, Logical Methods in Computer Science, vol.8, issue.1, pp.24-2012, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00694636

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-29, 2014.

D. Harel and D. Kozen, Dynamic Logic, 2000.

K. Havelund and K. G. Larsen, The Fork Calculus, Proc. of the Colloquium of Automata, Languages and Programming (ICALP'93), vol.700, pp.544-557, 1993.

R. Hennicker, A calculus for open ensembles and their composition, In: ISoLA (1). Lecture Notes in Computer Science, vol.9952, pp.570-588, 2016.

R. Hennicker and A. Klarl, Foundations for Ensemble Modeling -The HELENA Approach, Specification, Algebra, and Software, vol.8373, pp.359-381, 2014.

R. Hennicker, A. Klarl, and M. Wirsing, Model-checking HELENA ensembles with Spin, Logic, Rewriting, and Concurrency -Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, vol.9200, pp.331-360, 2015.

R. Hennicker and M. Wirsing, Dynamic logic for ensembles, Proc. 8th International Symposium, 2018.

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, Proc. of the 35th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'08), pp.273-284, 2008.

A. Klarl, Engineering self-adaptive systems with the role-based architecture of HE-LENA, Proc. 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE'15, pp.3-8, 2015.

A. Klarl, HELENA: Handling massively distributed systems with ELaborate ENsemble Architectures, 2016.

A. Klarl, L. Cichella, and R. Hennicker, From HELENA ensemble specifications to executable code, Proc. Formal Aspects of Component Software (FACS'14)

, Lecture Notes in Computer Science, vol.8997, pp.183-190, 2014.

A. Klarl and R. Hennicker, Design and Implementation of Dynamically Evolving Ensembles with the Helena Framework, Proceedings of the 23rd Australasian Software Engineering Conference, pp.15-24, 2014.

M. Wirsing, M. M. Hölzl, and N. Koch, Software Engineering for Collective Autonomic Systems -The ASCENS Approach, Lecture Notes in Computer Science, vol.8998, 2015.

M. Wirsing, M. M. Hölzl, M. Tribastone, and F. Zambonelli, ASCENS: engineering autonomic service-component ensembles, Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Revised Selected Papers, pp.1-24, 2011.