Model Checking Buffered Durable Linearizability in CSP.

Chelsea Edmonds, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim

Browse the full IFM paper archive.