Conflict-Free Replicated Data Types Courses
Conf42 via YouTube Ethersync - Echtzeit-Kollaboration in deinem Texteditor
media.ccc.de via YouTube Extending Automerge: Undo, Redo, and Move Operations - PLF23
ACM SIGPLAN via YouTube Type-Checking CRDT Convergence
ACM SIGPLAN via YouTube Mixed and Verified Consistency with Propel and ConOpY
ACM SIGPLAN via YouTube Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data
ACM SIGPLAN via YouTube Modular Verification of Op-Based CRDTs in Separation Logic
ACM SIGPLAN via YouTube