65 citations · 73 across the 7 of their papers we have counts for
Showing cs.DCShow all
2 papers · 1 filter
cs.DC2026★ 1 cited
Mixed Choice in Asynchronous Multiparty Session Types
Laura Bocchi, Raymond Hu, Adriana Laura Voinea +1
We present a multiparty session type (MST) framework with asynchronous mixed choice (MC). We propose a core construct for MC that allows transient inconsistencies in protocol state…
cs.DC2011★ 3 cited
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…