Jacopo Mauro's homepage
Jacopo Mauro's homepage
Publications
Projects
Teaching
Awards
Contact
Light
Dark
Automatic
Developing correct, distributed, adaptive software
Mila Dalla Preda
,
Maurizio Gabbrielli
,
Saverio Giallorenzo
,
Ivan Lanese
,
Jacopo Mauro
January 2015
PDF
Cite
DOI
Type
Journal article
Publication
Sci. Comput. Program.
Related
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications
Dynamic Choreographies - Safe Runtime Updates of Distributed Applications
Dynamic Choreographies: Theory And Implementation
Graceful Interruption of Request-Response Service Interactions
Programming Adaptive Microservice Applications: An AIOCJ Tutorial
Cite
×