Adam D. Barwell | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Nobuko Yoshida
29 publications
Alceste Scalas
12 publications
Fangyi Zhou
5 publications
Ping Hou
2 publications

research

∙ 05/10/2023

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures

Session types provide a typing discipline for message-passing systems. H...

0 Adam D. Barwell, et al. ∙

research

∙ 07/05/2022

Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report)

Session types enable the specification and verification of communicating...

0 Adam D. Barwell, et al. ∙