65 citations · 340 across the 42 of their papers we have counts for
27 papers · 1 filter
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
Adam D. Barwell, Ping Hou, Nobuko Yoshida +1
Session types provide a typing discipline for message-passing systems. However, most session type approaches assume an ideal world: one in which everything is reliable and without…
Hybrid Multiparty Session Types -- Full Version
Lorenzo Gheri, Nobuko Yoshida
Multiparty session types (MPST) are a specification and verification framework for distributed message-passing systems. The communication protocol of the system is specified as a g…
Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid
Stephen Ellis, Shuofei Zhu, Nobuko Yoshida +1
Go is a popular statically-typed industrial programming language. To aid the type safe reuse of code, the recent Go release (Go 1.18) published on 15th March 2022 includes bounded…
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report)
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida +1
Session types enable the specification and verification of communicating systems. However, their theory often assumes that processes never fail. To address this limitation, we pres…
Design-by-Contract for Flexible Multiparty Session Protocols -- Extended Version
Lorenzo Gheri, Ivan Lanese, Neil Sayers +2
Choreographic models support a correctness-by-construction principle in distributed programming. Also, they enable the automatic generation of correct message-based communication p…
Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
Communicating systems comprise diverse software components across networks. To ensure their robustness, modern programming languages such as Rust provide both strongly typed channe…