An Optimized Derivation of Event Queries to Monitor Choreography Violations.

Aymen Baouab, Olivier Perrin, Claude Godart

Browse the full ICSOC paper archive.