Finite transition systems : semantics of communicating systems - Arnold, A. [ (Andre)] , 1945- (Hemel Hempstead : Prentice Hall ; Paris : Masson, 1994)
Includes bibliography (p. 169-173) and index
Keywords: Sequential machine theory