TY  - BOOK
AU  - Arnold, Andre.
TI  - Finite Transition Systems : Semantics of Communicating Systems
SN  - 0 13 092990 5
CY  - Masson
KW  - Sequential Machine Theory
ER  -