Finite transition systems : semantics of communicating systems - Arnold, A. 1945- (Prentice-Hall international series in computer science, 1994)