CCS without τ’s (1987)

by R De Nicola, M Hennessy
Venue:In TAPSOFT/- CAAP’87, volume 249 of LNCS