Aurel Randolph, Abdessamad Imine, Hanifa Boucheneb, Alejandro Quintero. Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors. In Charles Pecheur, Michael Dierkes, editors, Formal Methods for Industrial Critical Systems - 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings. Volume 8187 of Lecture Notes in Computer Science, pages 184-198, Springer, 2013. [doi]
Abstract is missing.