Chelsea Edmonds, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim. Model Checking Buffered Durable Linearizability in CSP. In Ferruccio Damiani, Marie Farrell, editors, Integrated Formal Methods - 20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings. Volume 16194 of Lecture Notes in Computer Science, pages 120-139, Springer, 2025. [doi]
Abstract is missing.