A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service Orchestration.

Wing Lok Yeung

Browse the full APSCC paper archive.