On a general definition of safety and liveness
By: by Rakesh Dubey.
Published: 1991
Language: eng
Number of pages: 73
Subjects: Electronic data processing -- Distributed processing.
Notes: Typescript.

Thesis (M.S.)--Washington State University, 1991.

Includes bibliographical references (leaves 70-73).

WSU:"School of Electrical Engineering and Computer Science."