Hou, Ping
- Less is More Revisited: Association with Global Protocols and Multiparty Sessions
2024/02/26 by Yoshida, Nobuko, Hou, Ping, Kuhn, Iona · 2 citations
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL)
- 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)