Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework
['Paola Giannini', 'Anna-Lena Lamprecht', 'Tiziana Margaria']
Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework