Concurrency Contracts for Designing Highly Available Replicated Data Types. - De Porre, Kevin; Ferreira, Carla; Gonzalez Boix, Elisa (Software: Practice & Experience, 2025)