Adding Action Refinement to a Finite Process Algebra.

Luca Aceto, Matthew Hennessy

Browse the full ICALP paper archive.