Declarative Reliable Multi-Party Protocols

We propose a novel, declarative approach to implementing reliable multi-party protocols that enables efficient and scalable implementations. Our Properties Framework (PF) is able to express semantics as simple as gossip or resource cleanup, or as complex as transactions, consensus, and virtual synchrony. Protocols written in the PF compile to a hierarchical, scalable runtime infrastructure. Evaluation confirms that solutions developed this way can achieve high performance, while also benefiting from better integration with the underlying runtime platform and its