Some observations on redundancy in a context (1990)

by F W Vaandrager
Venue:Applications of Process Algebra