65 citations · 340 across the 42 of their papers we have counts for
4 papers · 1 filter
Globally Governed Session Semantics
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.…
Timed Runtime Monitoring for Multiparty Conversations
Rumyana Neykova, Laura Bocchi, Nobuko Yoshida
We propose a dynamic verification framework for protocols in real-time distributed systems. The framework is based on Scribble, a tool-chain for design and verification of choreogr…
Multiparty Session Actors
Rumyana Neykova, Nobuko Yoshida
Actor coordination armoured with a suitable protocol description language has been a pressing problem in the actors community. We study the applicability of multiparty session type…
Towards Reversible Sessions
Francesco Tiezzi, Nobuko Yoshida
In this work, we incorporate reversibility into structured communication-based programming, to allow parties of a session to automatically undo, in a rollback fashion, the effect o…