Programming Adaptive Microservice Applications: An AIOCJ Tutorial

Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli
January, 2017
PDF Cite
Type
Book section
Publication
Behavioural Types: from Theory to Tools