vix.ing · top · new · best · stats · spec

Fangyi Zhou

  1. Statically Verified Refinements for Multiparty Protocols
    2020/09/14 by Fangyi Zhou, Francisco Ferreira, Zhou, Fangyi +7 · 1 citation
    Computer Science · #Distributed #FOS: Computer and information sciences #Parallel #Programming Languages (cs.PL) #and Cluster Computing (cs.DC) #cs.DC #cs.PL