On the relationship between process algebra and input/output automata (extended abstract (1991)

by F W Vaandrager
Venue:in: Symposium on Logic in Computer Science