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

Uwe Nestmann

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