Automatic Detection of Business Process Interference - Context - Distributed or service-oriented information systems, Knowledge-intensive, External stakeholders, Assumption of process independence, Concurrent business process execution. Related work - Single process verification, Analysis of failing process instances, Run-time vs design-time.