Zobrazeno 1 - 3
of 3
pro vyhledávání: '"De Porre, Kevin"'
Distributed systems adopt weak consistency to ensure high availability and low latency, but state convergence is hard to guarantee due to conflicts. Experts carefully design replicated data types (RDTs) that resemble sequential data types and embed c
Externí odkaz:
http://arxiv.org/abs/2207.02502
Publikováno v:
In Journal of Parallel and Distributed Computing October 2020 144:109-123
Our related article presents our novel verification language, called VeriFx. We used VeriFx to implement and verify 51 Conflict-Free Replicated Data Types (CRDTs) and 9 Operational Transformation (OT) functions. This artifact bundles the implementati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7dc48cf2ca17ee1a737b6c728a926e2f