coord is a coordination platform for distributed environments