Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework
You are here
Title | Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework |
Publication Type | Workshop Paper |
Year of Publication | 2016 |
Authors | Giannini P, Lamprecht A-L, Margaria T |
Secondary Authors | Hammoudi S, Pires LFerreira, Selic B, Desfray P |
ISBN Number | 978-989-758-168-7 |