20 citations · 20 across the 1 of their papers we have counts for
1 paper
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…