Can I read Distributed Protocol Combinators on EtoBox?

Distributed Protocol Combinators by Kristoffer Just Arndal Andersen; Ilya Sergey is a book available to read on EtoBox.

What is Distributed Protocol Combinators about?

Distributed systems are hard to get right, model, test, debug, and teach. Their textbook definitions, typically given in a form of replicated state machines, are concise, yet prone to introducing programming errors if naïvely translated into runnable implementations. In this work, we present Distributed Protocol Combinators (DPC), a declarative programming framework that aims to bridge the gap between specifications and runnable implementations of distributed systems, and facilitate their modeling, testing, and execution. DPC builds on the ideas from the state-of-the art logics for compositional systems verification. The contribution of DPC is a novel family of program-level primitives, which facilitates construction of larger distributed systems from smaller components, streamlining the usage of the most common asynchronous message-passing communication patterns, and providing machinery for testing and user-friendly dynamic verification of systems. This paper describes the main ideas behind the design of the framework and presents its implementation in Haskell. We introduce DPC through a series of characteristic examples and showcase it on a number of distributed protocols from th

Author

Kristoffer Just Arndal Andersen; Ilya Sergey

Publisher

Springer International Publishing : Imprint: Springer

Published

2018

Language

EN

ISBN

9783030059972

Subjects

Computer Science, Mathematics, Programming