Arnold, Andre.
Finite Transition Systems : Semantics of Communicating Systems - Masson Prentice-Hall 1994 - 177 - Prentice Hall International Series in Computer Science .
0 13 092990 5
Sequential Machine Theory
681.3 ARN
Finite Transition Systems : Semantics of Communicating Systems - Masson Prentice-Hall 1994 - 177 - Prentice Hall International Series in Computer Science .
0 13 092990 5
Sequential Machine Theory
681.3 ARN