CRDTs, Coalgebraically (Early Ideas). - Nathan Liittschwager; Stelios Tsampas 001; Jonathan Castello; Lindsey Kuper (CALCO, 2023)

CRDT Emulation, Simulation, and Representation Independence. - Nathan Liittschwager; Jonathan Castello; Stelios Tsampas 001; Lindsey Kuper (CoRR, 2025)