Mutluergil, Suha Orhun
- Proving linearizability using forward simulations
2017/02/09 by Ahmed Bouajjani, Michael Emmi, Bouajjani, Ahmed +5 · 1 citation
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Software System Performance and Reliability