The Styx Architecture for Distributed Systems doc.cat-v.org/infern...