Semantics of global view of choreographies
Tuosto, Emilio, Guanciale, RobertoLanguage:
english
Journal:
Journal of Logical and Algebraic Methods in Programming
DOI:
10.1016/j.jlamp.2017.11.002
Date:
November, 2017
File:
PDF, 685 KB
english, 2017