Work

Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis