The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.07 - July (1990 vol.16)
pp: 755-775
ABSTRACT
<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>
INDEX TERMS
relational notation; specifying state transition systems; refinement relations; alternating-bit protocol; composition; formal specification; protocols.
CITATION
S.S. Lam, "A Relational Notation for State Transition Systems", IEEE Transactions on Software Engineering, vol.16, no. 7, pp. 755-775, July 1990, doi:10.1109/32.56101
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool