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}, }