v1v2 (latest)

IPA: Invariant-preserving Applications for Weakly-consistent Replicated Databases

23 February 2018

Papers citing "IPA: Invariant-preserving Applications for Weakly-consistent Replicated Databases"

3 / 3 papers shown

Title
Behavioural Types for Local-First Software Roland Kuhn Hernán C. Melgratti E. Tuosto 15 5 0 08 May 2023
VeriFx: Correct Replicated Data Types for the Masses Kevin De Porre Carla Ferreira E. G. Boix 43 9 0 06 Jul 2022
Katara: Synthesizing CRDTs with Verified Lifting Shadaj Laddad Conor Power Mae Milano Alvin Cheung J. M. Hellerstein 86 19 0 25 May 2022