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

by Frits W Vaandrager
Venue:In Proceedings of the 6th Annual Symposium on Logic in Computer Science (LICS