Verifying Interaction Protocol Compliance of Service Orchestrations.

Andreas Schroeder, Philip Mayer

Browse the full ICSOC paper archive.