Refinement Checking Parameterised Quorum Systems

Antti Siirtola. Refinement Checking Parameterised Quorum Systems. In 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017. pages 39-48, IEEE Computer Society, 2017. [doi]

Abstract

Abstract is missing.