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: 2025-04-04 02:31:25)

  ---

  Dynamic Effective Timed Communication Systems

       Actor Model,, Distributed systems, Time-stamped events, Denotational semantics, Temporal dependencies, Enriched Event Diagrams

  Nock for Functional Programmers

       Nock, combinators, big-step operational semantics

  Message Logic

       Distributed Systems, Dynamic Modal Logic, Service Commitments

  Heterogeneous Paxos 2.0: the Specs

       Heterogeneous Paxos, distributed algorithm, consensus, Learner Graph

  Full list of ARTs