Towards Action-Refinement in Process Algebras

Luca Aceto, Matthew Hennessy

Browse the full LICS paper archive.