65 citations · 340 across the 42 of their papers we have counts for
4 papers · 1 filter
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…
Secure Execution of Distributed Session Programs
Nuno Alves, Raymond Hu, Nobuko Yoshida +1
The development of the SJ Framework for session-based distributed programming is part of recent and ongoing research into integrating session types and practical, real-world progra…
Multiparty Symmetric Sum Types
Lasse Nielsen, Nobuko Yoshida, Kohei Honda
This paper introduces a new theory of multiparty session types based on symmetric sum types, by which we can type non-deterministic orchestration choice behaviours. While the origi…