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

Wagner, Christoph

  1. Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)
    2019/08/18 by Peters, Kirstin, Wagner, Christoph, Nestmann, Uwe · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)