## Frits W. Vaandrager

*On the Relationship Between Process Algebra and Input/Output Automata*

LICS, 1991.

@inproceedings{LICS-1991-Vaandrager, author = "Frits W. Vaandrager", booktitle = "{Proceedings of the Sixth Annual Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1991.151662", isbn = "0-8186-2230-X", pages = "387--398", publisher = "{IEEE Computer Society}", title = "{On the Relationship Between Process Algebra and Input/Output Automata}", year = 1991, }