Derrick, John
- Verifying C11 Programs Operationally
2018/11/22 by Simon Doherty, Doherty, Simon, Brijesh Dongol +5 · 1 citation
Computer Science · #Distributed systems and fault tolerance #Logic, programming, and type systems #Formal Methods in Verification
- Verifying linearizability: A comparative survey
2014/10/23 by Brijesh Dongol, John Derrick, Dongol, Brijesh +1 · 1 citation
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Parallel Computing and Optimization Techniques