On the Relationship Between Process Algebra and Input/Output Automata (Extended Abstract) (1991)

Cached

Download Links

by Frits W. Vaandrager
Venue:In Proceedings 6 th Annual Symposium on Logic in Computer Science
Citations:39 - 1 self