Return to Article Details Checking Consistency Between Message Choreographies And Their Implementation Models Download Download PDF