Title: Time and probability in formal design of distributed systems
First published: 1994
Subjects: Electronic data processing, Distributed processing, Real-time data processing, System design
LC classification: QA76.9.D5 H36 1994