Modelling Causality via Action Dependencies in Branching Time Semantics

Ursula Goltz, Heike Wehrheim. Modelling Causality via Action Dependencies in Branching Time Semantics. Inf. Process. Lett., 59(4):179-184, 1996. [doi]

Abstract

Abstract is missing.