Welcome to ART¶
Anoma Research Topics (ART) is an open-access, peer-reviewed index of research and development focused on distributed systems, cryptography, compilers, and Anoma related topics. It is community-driven and primarily features contributions from Anoma researchers, but external submissions are more than welcome.
-
Recent ARTs (Updated: 2024-12-05 03:02:03)
Distributed Systems, Dynamic Modal Logic, Service Commitments
Heterogeneous Paxos 2.0: the Specs
Heterogeneous Paxos, distributed algorithm, consensus, Learner Graph
State Machine, Storage, Execution, Resource Machine
Slow Games: Policy Enforcement under Uncertainty
Mechanism Design, Distributed Systems, Coding Theory