A Revised and Verified Proof of the Scalable Commutativity Rule
classification
💻 cs.DC
cs.LO
keywords
proofcommutativityrevisedrulescalableverifiedassistantdiscusses
read the original abstract
This paper explains a flaw in the published proof of the Scalable Commutativity Rule (SCR), presents a revised and formally verified proof of the SCR in the Coq proof assistant, and discusses the insights and open questions raised from our experience proving the SCR.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.