Effective Verification of Replicated Data Types Using Later Appearance Records (LAR).

Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh

Browse the full ATVA paper archive.