Local Enforceability and Inconsumable Messages in Choreography Models

2009 Fourth South-East European Workshop on Formal Methods ◽

10.1109/seefm.2009.12 ◽

2009 ◽

Cited By ~ 1

Author(s):

Vitaly Kozyura ◽

Andreas Roth ◽

Wei Wei

Download Full-text