Dynamic Choreographies: Theory And Implementation

Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
January, 2017
PDF Cite DOI URL
Type
Journal article
Publication
Logical Methods in Computer Science