Choreography Automata

Lecture Notes in Computer Science - Coordination Models and Languages ◽

10.1007/978-3-030-50029-0_6 ◽

2020 ◽

pp. 86-106 ◽

Author(s):

Franco Barbanera ◽

Ivan Lanese ◽

Emilio Tuosto

Download Full-text