, Tailor -the AWS Account Provisioning Service
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
,
,
The incremental garbage collection of processes, ACM Sigplan Notices. vol, vol.12, issue.8, pp.55-59, 1977. ,
Serverless computing: Current trends and open problems, Research Advances in Cloud Computing, pp.1-20, 2017. ,
A uniform framework for timed automata, :15. Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, vol.59, pp.1-26, 2016. ,
Behavioural equivalences for timed systems, Logical Methods in Computer Science, vol.15, issue.1, 2019. ,
Deadlock-freedom-by-design: multiparty asynchronous global programming, POPL, pp.263-274, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00909320
A core model for choreographic programming, FACS, pp.17-35, 2016. ,
Dynamic choreographies: Theory and implementation, Logical Methods in Computer Science, vol.13, issue.2, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01631394
Microservices: Yesterday, today, and tomorrow, Present and Ulterior Software Engineering, pp.195-216, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01631455
Applied choreographies, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01824812
Java concurrency in practice, 2006. ,
Multilisp: A language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.7, issue.4, pp.501-538, 1985. ,
, Serverless computing: One step forward, two steps back, 2019.
, Serverless Computation with OpenLambda. In: USENIX. USENIX Association, 2016.
Foundations of session types and behavioural contracts, ACM Comput. Surv, vol.49, issue.1, pp.1-3, 2016. ,
Formal foundations of serverless computing, 2019. ,
Cloud programming simplified: A berkeley view on serverless computing, 2019. ,
, Serverless out of Control
Web services choreography description language version 1.0, W3C candidate recommendation, vol.3, 2005. ,
Serverless: A lesson learned. The hard way ,
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
A Calculus of Communicating Systems, Lecture Notes in Computer Science, vol.92, 1980. ,
Kickstarting choreographic programming, WS-FM/BEAT, pp.3-10, 2015. ,
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
The serializability of concurrent database updates, J. ACM, vol.26, issue.4, pp.631-653, 1979. ,
The Pi-Calculus -a theory of mobile processes, 2001. ,
Python in practice: create better programs using concurrency, libraries, and patterns, 2013. ,
, Beware "RunOnStartup" in Azure Functions -a serverless horror story
, C++ concurrency in action. Manning, 2017.