Comparing locality and causality based equivalences

For CCS [15] several noninterleaving semantics have been proposed among which causal bisimulation [9] and location equivalence [6] play a central role. To unify these two approaches this paper introduces a new transition system based onlocal andglobal ...

We give a precise picture of the computational complexity of causal relationships in Pearl's structural models, where we focus on causality between variables, event causality, and probabilistic causality. As for causality between variables, we consider ...