TY  - SER
AU  - Lam, Simon S
AU  - Shankar, A. Udaya
TI  - A Relational Notation  for  State Transition Systems
KW  - Auxiliary
KW  - Communication Protocols
KW  - Refinement
ER  -