On the Complexity of Checking Consistency for Replicated Data Types.

Ranadeep Biswas, Michael Emmi, Constantin Enea

Browse the full CAV paper archive.