Interface Automata for Choreographies. - Hao Zeng 002; Alexander Kurz 001; Emilio Tuosto (ICE, 2019)

Interface automata for choreographies. - Hao Zeng 002 (2019)