A. Williams, Tailor -the AWS Account Provisioning Service

D. Ancona, Behavioral types in programming languages, Foundations and Trends in Programming Languages, vol.3, issue.2-3, pp.95-230, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01348054

:. Apache and . Openwhisk,

. Aws:-lambda,

H. C. Baker and C. Hewitt, The incremental garbage collection of processes, ACM Sigplan Notices. vol, vol.12, issue.8, pp.55-59, 1977.

I. Baldini, Serverless computing: Current trends and open problems, Research Advances in Cloud Computing, pp.1-20, 2017.

T. Brengos and M. Peressotti, A uniform framework for timed automata, :15. Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, vol.59, pp.1-26, 2016.

T. Brengos and M. Peressotti, Behavioural equivalences for timed systems, Logical Methods in Computer Science, vol.15, issue.1, 2019.

M. Carbone and F. Montesi, Deadlock-freedom-by-design: multiparty asynchronous global programming, POPL, pp.263-274, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00909320

L. Cruz-filipe and F. Montesi, A core model for choreographic programming, FACS, pp.17-35, 2016.

M. Dalla-preda, Dynamic choreographies: Theory and implementation, Logical Methods in Computer Science, vol.13, issue.2, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01631394

N. Dragoni, Microservices: Yesterday, today, and tomorrow, Present and Ulterior Software Engineering, pp.195-216, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01631455

S. Giallorenzo, F. Montesi, and M. Gabbrielli, Applied choreographies, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01824812

B. Goetz, Java concurrency in practice, 2006.

R. H. Halstead, Multilisp: A language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.7, issue.4, pp.501-538, 1985.

J. M. Hellerstein, Serverless computing: One step forward, two steps back, 2019.

S. Hendrickson, Serverless Computation with OpenLambda. In: USENIX. USENIX Association, 2016.

H. Hüttel, Foundations of session types and behavioural contracts, ACM Comput. Surv, vol.49, issue.1, pp.1-3, 2016.

A. Jangda, Formal foundations of serverless computing, 2019.

E. Jonas, Cloud programming simplified: A berkeley view on serverless computing, 2019.

K. Software, Serverless out of Control

N. Kavantzas, D. Burdett, G. Ritzinger, and Y. Lafon, Web services choreography description language version 1.0, W3C candidate recommendation, vol.3, 2005.

K. Vandenborne, Serverless: A lesson learned. The hard way

L. Lamport, How to make a multiprocessor computer that correctly executes multiprocess programs, IEEE Trans. Comput, vol.28, issue.9, pp.690-691, 1979.

, Microsoft: Azure Functions

R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science, vol.92, 1980.

F. Montesi, Kickstarting choreographic programming, WS-FM/BEAT, pp.3-10, 2015.

J. Niehren, J. Schwinghammer, and G. Smolka, A concurrent lambda calculus with futures, Theor. Comput. Sci, vol.364, issue.3, pp.338-356, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00090434

C. H. Papadimitriou, The serializability of concurrent database updates, J. ACM, vol.26, issue.4, pp.631-653, 1979.

D. Sangiorgi and D. Walker, The Pi-Calculus -a theory of mobile processes, 2001.

M. Summerfield, Python in practice: create better programs using concurrency, libraries, and patterns, 2013.

T. Wright, Beware "RunOnStartup" in Azure Functions -a serverless horror story

A. Williams, C++ concurrency in action. Manning, 2017.