Causality in Concurrent Systems F. Russo Vrije Universiteit Brussel B elgium S.Crafa Università di Padova Italy HaPoC 31 October 2013, Paris software,
Causality in Concurrent Systems