S Dekeyser

Conference paper (1)

Journal article (1)

Report (1)

3 records found

Guaranteeing Correctness for Collaboration on Documents Using an Optimal Locking Protocol

Journal article (2011) - S Dekeyser (author) , Jan Hidders (author)

PIECEMEAL: A Formal Collaborative Editing Technique Guaranteeing Correctness

Conference paper (2010) - S Dekeyser (author) , Jan Hidders (author)

A Notion of Serializability for Document Editing and Corresponding Optimal Locking Protocols

Report (2010) - Jan Hidders (author) , S Dekeyser (author)