Parametric Channels via Label Expressions (1984)

by E Astesiano, E Zucca
Venue:in CCS. Theoretical Computer Science