Luca Aceto David Murphy Timing and Causality in Process Algebra. 317-350 1996 33 Acta Inf. 4 db/journals/acta/acta33.html#AcetoM96