reflux

A mechanism for writing rigorous code based on a distributed computing concept.