Towards parallelization of concurrent systemsF. Corradini, R. Gorrieri and D. MarchignoliRAIRO-Theor. Inf. Appl., 32 4-6 (1998) 99-125DOI: https://doi.org/10.1051/ita/1998324-600991