2 records found
1
Consistency-Aware Scheduling for Weakly Consistent Programs
Towards verifying eventually consistent applications