Towards parallelization of concurrent systems F. Corradini; R. Gorrieri; D. Marchignoli — 1998 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications