Causality analysis of synchronous programs with delayed actions.

Klaus Schneider, Jens Brandt, Tobias Schle

Browse the full CASES paper archive.