JavaScript is disabled for your browser. Some features of this site may not work without it.
Declarative Reliable Multi-Party Protocols

Author
Ostrowski, Krzysztof; Birman, Ken; Dolev, Danny
Abstract
We propose a novel, declarative approach to im-plementing reliable multi-party protocols that enables efficient and scalable implementations. Our Proper-ties 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 inte-gration with the underlying runtime platform and its type system.
Date Issued
2007-07-10Publisher
Cornell University
Subject
computer science; Distributed, Parallel, and Cluster Computing; technical report
Previously Published As
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cis/TR2007-2088
Type
technical report