Parametric channels via label expressions in CCS
scientific article; zbMATH DE number 3862422