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

Jaber, Nouraldin

  1. Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification (Extended Version)
    2022/08/25 by Nouraldin Jaber, Christopher Wagner, Jaber, Nouraldin +7 · 1 citation
    Computer Science · #Distributed #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Parallel #Programming Languages (cs.PL) #Semantic Web and Ontologies #and Cluster Computing (cs.DC)