A Generic Specification Framework for Weakly Consistent Replicated Data Types.

Xue Jiang, Hengfeng Wei, Yu Huang

Browse the full SRDS paper archive.