Time and probability in formal design of distributed systems
By: Hans A. Hansson ; with contributions by Lars-åke Fredlund.
Contributors: Fredlund, Lars-åke.
Series: Real-time safety critical systems ;; v. 1; Real-time safety critical systems ;; 1.
Publisher: Elsevier
Published: 1994
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 304
Subjects: Electronic data processing -- Distributed processing.; System design.; Real-time data processing.
Notes: Includes bibliographical references (p. 283-297) and index.
Originally presented as the author's thesis (Ph.D--Uppsala University, 1991)