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

Schultz, William

  1. Design and Analysis of a Logless Dynamic Reconfiguration Protocol
    2021/02/23 by Schultz, William, Zhou, Siyuan, Dardik, Ian +1 · 3 citations
    #Distributed #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)
  2. Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+
    2022/05/12 by Schultz, William, Dardik, Ian, Tripakis, Stavros · 2 citations
    #Distributed #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Parallel #and Cluster Computing (cs.DC)