Towards action-re in process algebra (1993)

by L Aceto, M Hennessy
Venue:Information and Computation