[Not maintained] Distributed Sequential Processes - View it on GitHub