Interface Automata for Choreographies

Hao Zeng, Alexander Kurz, Emilio Tuosto

Choreographic approaches to message-passing applications can be regarded as an instance of the model-driven development principles. Choreographies specify interactions among distri…