Towards parallelization of concurrent systems F. Corradini, R. Gorrieri and D. Marchignoli RAIRO-Theor. Inf. Appl., 32 4-6 (1998) 99-125 Published online: 01 February 2017 DOI: 10.1051/ita/1998324-600991