65 citations · 340 across the 42 of their papers we have counts for
51 papers
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…
On the Expressiveness of Mixed Choice Sessions
Kirstin Peters, Nobuko Yoshida
Session types provide a flexible programming style for structuring interaction, and are used to guarantee a safe and consistent composition of distributed processes. Traditional se…
On the Expressiveness of Mixed Choice Sessions (Technical Report)
Kirstin Peters, Nobuko Yoshida
Session types provide a flexible programming style for structuring interaction, and are used to guarantee a safe and consistent composition of distributed processes. Traditional se…
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…