Flavio Corradini, Roberto Gorrieri, Davide Marchignoli. Towards parallelization of concurrent systems. ITA, 32(4-6):99-125, 1998. [doi]
@article{CorradiniGM98,
title = {Towards parallelization of concurrent systems},
author = {Flavio Corradini and Roberto Gorrieri and Davide Marchignoli},
year = {1998},
doi = {10.1051/ita/1998324-600991},
url = {https://doi.org/10.1051/ita/1998324-600991},
researchr = {https://researchr.org/publication/CorradiniGM98},
cites = {0},
citedby = {0},
journal = {ITA},
volume = {32},
number = {4-6},
pages = {99-125},
}