"Correcting Deadlocking Service Choreographies Using a Simulation-Based ..."

Niels Lohmann (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics