Theoretical issues in the design and verification of distributed systems
By: by Aravinda Prasad Sistla
Published: 1983
Language: eng
Format: microform /
Number of pages: 148
Subjects: Electronic data processing; Distributed processing
Notes: Thesis (Ph. D.)--Harvard University, 1983.

Bibliography: leaves 145-148.