Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors.

Aurel Randolph, Abdessamad Imine, Hanifa Boucheneb, Alejandro Quintero

Browse the full FMICS paper archive.