Jacopo Mauro's homepage
Jacopo Mauro's homepage
Publications
Projects
Teaching
Awards
Contact
Light
Dark
Automatic
Guess Who's Coming: Runtime Inclusion of Participants in Choreographies
Maurizio Gabbrielli
,
Saverio Giallorenzo
,
Ivan Lanese
,
Jacopo Mauro
January 2019
PDF
Cite
DOI
Type
Conference paper
Publication
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
Related
A Formal Approach to Microservice Architecture Deployment
Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications
Dynamic Choreographies - Safe Runtime Updates of Distributed Applications
Developing correct, distributed, adaptive software
Cite
×