2 papers
cs.PL2026
Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
Simon Fowler, Raymond Hu
Actor languages such as Erlang and Elixir are widely used for implementing scalable and reliable distributed applications, but the informally-specified nature of actor communicatio…
cs.DC2026
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…