Issue No. 07 - July (1990 vol. 16)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.56101
<p>A relational notation for specifying state transition systems is presented. Several refinement relations between specifications are defined. To illustrate the concepts and methods, three specifications of the alternating-bit protocol are given. The theory is applied to explain auxiliary variables. Other applications of the theory to protocol verification, composition, and conversion are discussed. The approach is compared with previously published approaches.</p>
relational notation; specifying state transition systems; refinement relations; alternating-bit protocol; composition; formal specification; protocols.
A. Shankar and S. Lam, "A Relational Notation for State Transition Systems," in IEEE Transactions on Software Engineering, vol. 16, no. , pp. 755-775, 1990.