A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Stefania Gnesi' in GoogleThis author has not been identified. Look up 'Paola Inverardi' in GoogleThis author has not been identified. Look up 'Monica Nesi' in Google

runs on WebDSL