Introduction

Performing a distributed computation across a network while preserving the consistency of the network's state.

Through the distributed computation protocol computer agents encode distributed computations as network performances to ensure the correctness of the computation, and the consistency of the network's state.

Each agent participating in the performance, is responsible of performing the computation, and maintaining a reversible record of its state changes and coordinates with others to verify that a distributed computations has occured as a whole.