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

Cliff B. Jones

  1. Possible values: exploring a concept for concurrency
    2016/01/09 by Cliff B. Jones, Ian J. Hayes, Jones, Cliff B. +1 · 1 citation
    Computer Science · #Distributed systems and fault tolerance #Logic, programming, and type systems #Formal Methods in Verification