AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli
January, 2014
PDF Cite DOI URL
Type
Conference paper
Publication
Software Language Engineering - 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings