Stefania Gnesi, Paola Inverardi, Monica Nesi. A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. In Friedrich H. Vogt, editor, Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings. Volume 335 of Lecture Notes in Computer Science, pages 181-196, Springer, 1988.
@inproceedings{GnesiIN88,
title = {A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences},
author = {Stefania Gnesi and Paola Inverardi and Monica Nesi},
year = {1988},
tags = {logic, systematic-approach},
researchr = {https://researchr.org/publication/GnesiIN88},
cites = {0},
citedby = {0},
pages = {181-196},
booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings},
editor = {Friedrich H. Vogt},
volume = {335},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-50403-6},
}