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.
Abstract is missing.