65 citations · 340 across the 42 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023
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…
cs.PL2023★ 1 cited
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…