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

Bui, Truc Lam

  1. The Reads-From Equivalence for the TSO and PSO Memory Models
    2020/11/23 by Bui, Truc Lam, Chatterjee, Krishnendu, Gautam, Tushar +2 · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)