A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences.

Stefania Gnesi, Paola Inverardi, Monica Nesi

Browse the full CONCUR paper archive.