Amar Bouali Robert de Simone Causal Models for Rational Algebraic Processes. 18-19 1991 conf/concur/1991 CONCUR db/conf/concur/concur1991.html#BoualiS91 http://dx.doi.org/10.1007/3-540-54430-5_76