Consistency à la carte: A general-purpose framework for scalable mixed-consistency applications

De Porre, Kevin (Mandate)
Gonzalez Boix, Elisa (Administrative Promotor)

Informatics and Applied Informatics

1 Conference paper
1 Meeting abstract (Journal)

1 results

Filter

2023
VeriFx: Correct Replicated Data Types for the Masses
De Porre, K., Ferreira, C. & Gonzalez Boix, E., 2023, VeriFx: Correct Replicated Data Types for the Masses. Salvaneschi, G. & Ali, K. (eds.). 37th ed. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 263. p. 1-45 45 p. 9. (European Conference on Object-Oriented Programming (ECOOP 2023)).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research

Open Access
1 Citation (Scopus)