D. Agarwal and S. K. Prasad, Azurebot: A framework for bag-of-tasks applications on the azure cloud platform, IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum, 2013.

E. Albert, N. Bezirgiannis, F. S. De-boer, and E. Martin-martin, A formal, resource consumption-preserving translation of actors to haskell, Logic-Based Program Synthesis and Transformation-26th International Symposium, LOPSTR 2016, pp.21-37, 2016.

A. Basu, S. Bensalem, M. Bozga, J. Combaz, M. Jaber et al., Rigorous component-based system design using the bip framework, IEEE Software, vol.28, issue.3, pp.41-48, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00722395

A. Bejleri and N. Yoshida, Synchronous multiparty session types, Electr. Notes Theor. Comput. Sci, vol.241, pp.3-33, 2009.

S. Bliudze and J. Sifakis, The algebra of connectors-structuring interaction in BIP, IEEE Trans. Computers, vol.57, issue.10, pp.1315-1330, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00282866

B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf, and J. Sifakis, A framework for automated distributed implementation of component-based models, Distributed Computing, vol.25, issue.5, pp.383-409, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00877995

B. Bonakdarpour, M. Bozga, and J. Quilbeuf, Model-based implementation of distributed systems with priorities, Design Autom. for Emb. Sys, vol.17, issue.2, pp.251-276, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00878023

E. Bonelli and A. B. Compagnoni, Multipoint session types for a distributed calculus, Trustworthy Global Computing, Third Symposium, TGC 2007, pp.240-256, 2007.

Y. Falcone and M. Jaber, Fully automated runtime enforcement of componentbased systems with formal and sound recovery, STTT, vol.19, issue.3, pp.341-365, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01262658

,

Y. Falcone, M. Jaber, T. Nguyen, M. Bozga, and S. Bensalem, Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation, Software and System Modeling, vol.14, issue.1, pp.173-199, 2015.
URL : https://hal.archives-ouvertes.fr/hal-00972566

Z. Farah, Y. Ait-ameur, M. Ouederni, and K. Tari, A correct-by-construction model for asynchronously communicating systems, Int. J. Softw. Tools Technol. Transf, vol.19, issue.4, pp.465-485, 2017.

S. J. Gay, V. T. Vasconcelos, A. Ravara, N. Gesbert, and A. Z. Caldeira, Modular session types for distributed object-oriented programming, Proceedings of the 37th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, POPL 2010, pp.299-312, 2010.

J. Gray and L. Lamport, Consensus on transaction commit, ACM Trans. Database Syst, vol.31, issue.1, pp.133-160, 2006.

L. Henrio and J. Rochas, From modelling to systematic deployment of distributed active objects, Coordination Models and Languages-18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, pp.208-226, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01305474

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.273-284, 2008.

C. Meiklejohn and P. Van-roy, Lasp: A language for distributed, coordination-free programming, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, pp.184-195, 2015.

A. Vallecillo, V. T. Vasconcelos, and A. Ravara, Typing the behavior of software components using session types, Fundam. Inform, vol.73, issue.4, pp.583-598, 2006.