Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework.

Paola Giannini, Anna-Lena Lamprecht, Tiziana Margaria

Browse the full MODELSWARD paper archive.