Return to Article Details Transforming Collaborative Service Specifications into Efficiently Executable State Machines Download Download PDF