65 citations · 340 across the 42 of their papers we have counts for
1 paper · 2 filters
Dimitrios Kouzapas, Nobuko Yoshida
This paper proposes a bisimulation theory based on multiparty session types where a choreography specification governs the behaviour of session typed processes and their observer.…