20 citations · 20 across the 1 of their papers we have counts for
1 paper · 1 filter
Roberto Guanciale, Emilio Tuosto
We introduce an abstract semantics of the global view of choreographies. Our semantics is given in terms of pre-orders and can accommodate different lower level semantics. We discu…