An Introduction to Milner’s CCS (0)

by L Aceto, K G Larsen, A Ingolfsdottir