Add to ORKGInternational audienceThis article shows how the operational semantics of a language like ORC can be instrumented so that the execution of a program produces information on the causal dependencies between events. The concurrent semantics we obtain is based on asymmetric labeled event structures. The approach is illustrated using a Web service orchestration instance and the detection of race conditions.Cet article montre comment la sémantique opérationnelle d'un langage comme Orc peut être instrumentée pour que l'exécution d'un programme produise les informations sur les dépendances causales entre les événements. La sémantique concurrente que l'on obtient est basée sur des structures asymétriques d'événements étiquetés. Cette approche est il...