1 paper · 1 filter
Matthieu Perrin, Claude Jard, Achour Mostefaoui
This 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 betwe…