Time and probability in formal design of distributed systems /

Bibliographic Details
Main Author:	Hansson, Hans A.
Other Authors:	Fredlund, Lars-åke
Format:	Book
Language:	English
Published:	Amsterdam ; New York : Elsevier, 1994.
Series:	Real-time safety critical systems ; 1.
Subjects:	Electronic data processing > Distributed processing. System design. Real-time data processing. Data processing > Systems analysis

Description
Item Description:	Originally presented as the author's thesis (Ph. D--Uppsala University, 1991)
Physical Description:	xxv, 304 pages : illustrations ; 25 cm.
Bibliography:	Includes bibliographical references (pages 283-297) and index.
ISBN:	0444899405 (alk. paper)