Choreography conformance via synchronizability.

Samik Basu, Tevfik Bultan

Browse the full WWW paper archive.