Barwell, Adam D.

1. Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report)
   2022/07/05 by Barwell, Adam D., Scalas, Alceste, Yoshida, Nobuko +1 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
2. Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
   2023/05/10 by Barwell, Adam D., Hou, Ping, Yoshida, Nobuko +1 · 1 citation
   #Distributed #FOS: Computer and information sciences #Parallel #Programming Languages (cs.PL) #and Cluster Computing (cs.DC)