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-26 02:31:03)
Optimising Shielded State Synchronization with FMD and TEEs
FMD, TEE, shielded state syncronisation
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
Distributed Systems, Dynamic Modal Logic, Service Commitments