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: 2026-01-04 02:51:02)
GOOSE: Good Object-Oriented System Experience
object-oriented programming, Anoma, Resource Machine
object-oriented programming, Anoma, Resource Machine
Heterogeneous trust in reliable broadcast via modal logic and history structures
Heterogeneous distributed systems, Distributed Broadcast, Bracha Broadcast, Modal Logic, Kripke semantics, History Structures
Heterogeneous Broadcast in Lean 4
distributed systems, formal methods, lean4, Mathematical logic, formal verification