TY  - SER
AU  - Shaw, Alan C.
TI  - Communicating Real-Time State Machines
KW  - Concurrent Systems
KW  - Executable Spections
KW  - State Space
ER  -