Theses and Dissertations
Now showing items 1-1 of 1
A specification and analysis of the IEEE token bus protocol
(Monterey, California. Naval Postgraduate School, 1990-06)
In this thesis a formal description technique, systems of communicating machines, is used to specify and analyze a token bus protocol. A simplified description of the protocol is given, and proofs of certain correctness ...