Proceedings of the International Workshop on Concurrency, Specification, and Programming ; Negotiating Inter-Organisational Processes: An approach based on Unfoldings and Workflow Nets - Michael Köhler-Bußmeier (2012)