Luca Console, Claudia Picardi, Marina Ribaudo. Process algebras for systems diagnosis. Artificial Intelligence, 142(1):19-51, 2002. [doi]
@article{ConsolePR02, title = {Process algebras for systems diagnosis}, author = {Luca Console and Claudia Picardi and Marina Ribaudo}, year = {2002}, doi = {10.1016/S0004-3702(02)00292-8}, url = {http://dx.doi.org/10.1016/S0004-3702(02)00292-8}, tags = {process algebra, algebra}, researchr = {https://researchr.org/publication/ConsolePR02}, cites = {0}, citedby = {0}, journal = {Artificial Intelligence}, volume = {142}, number = {1}, pages = {19-51}, }