Merkliste 
 1 Ergebnisse 
 
1

Towards refinable choreographies:

de'Liguoro, Ugo ; Melgratti, Hernán ; Tuosto, Emilio
Journal of Logical and Algebraic Methods in Programming.  127 (2022)  - p. 100776 , 2022