Modelling causality via action dependencies in branching time semantics. - Goltz, Ursula
Keywords: Concurrency; Formal semantics; Equivalence notions; Trace theory