Login / Signup

Synthesizing CRDTs from Sequential Data Types with Verified Lifting.

Shadaj LaddadConor PowerMae MilanoAlvin CheungJoseph M. Hellerstein
Published in: CoRR (2022)
Keyphrases