An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces.

Martin Klbl, Stefan Leue

Browse the full ISoLA paper archive.