Distributed computation system for performing both deterministic and non-deterministic computations.