A System for Specifying and Coordinating the Execution of Reliable Distributed Applications