ECOOP 2025 (series) / PLF+PLAID 2025 (series) / Theory and Practice of Decentralized and Local-First Software /
PRDTs: Implementing Distributed Protocols with Replicated Data Types
In this talk, we present our ongoing work on replicated protocol data types (PRDTs) [ 1]. PRDTs explore how we can model distributed protocols (such as consensus protocols) with replicated data types (RDTs) by treating the state of the data type as a store for local knowledge. By following this principle, merging multiple RDT states can be seen as advancing the state of knowledge, thereby potentially enabling the next phase of the protocol. PRDTs differ from traditional RDTs because they showcase how we can not only replicate data, but instead use replicated state to model complex multistep computations/protocols performed by multiple parties.
Thu 3 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 3 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:45 | |||
14:00 30mTalk | Compositional Implementation and Verification of Swarms - A Tool Demo PLF+PLAID Florian Furbach Technical University of Denmark, Lucas Clorius , Alceste Scalas Technical University of Denmark, Roland Kuhn Actyx AG, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy, Hernan Melgratti University of Buenos Aires, Argentina | ||
14:30 30mTalk | Optimizing CRDTs for Low Memory Environments PLF+PLAID Thomas Vandermotten Vrije Universiteit Brussel, Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel | ||
15:00 30mTalk | PRDTs: Implementing Distributed Protocols with Replicated Data Types PLF+PLAID |