Informatica (South Korea)

output

20092025

most citedCRDTs: Consistency without concurrency control

36 citations

researchers with a paper here

collaborating institutions

3 papers

cs.LO2025

Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi

Rémy Cerda

Ten years ago, it was shown that nominal techniques can be used to design coalgebraic data types with variable binding, so that alpha-equivalence classes of infinitary terms are di…

math.AP2023

Approximation of $S B V$ functions with possibly infinite jump set

Sergio Conti, Matteo Focardi, Flaviana Iurlano

We prove an approximation result for functions $u \in S B V (Ω; R^{m})$ such that $\nabla u$ is $p$ -integrable, $1 \leq p < \infty$ , and $g_{0} (∣ [u] ∣)$ is integrable over the jump set…

cs.DC2009★ 36 cited

CRDTs: Consistency without concurrency control

Mihai Letia, Nuno Preguiça, Marc Shapiro

A CRDT is a data type whose operations commute when they are concurrent. Replicas of a CRDT eventually converge without any complex concurrency control. As an existence proof, we e…

Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi

Approximation of SBV functions with possibly infinite jump set

CRDTs: Consistency without concurrency control

Approximation of $S B V$ functions with possibly infinite jump set