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

Bila, Eleni Vafeiadi

  1. View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version)
    2022/01/15 by Bila, Eleni Vafeiadi, Dongol, Brijesh, Lahav, Ori +2 · 2 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)