Temporal specification systems for distributed systems

In Collections: Electronic Theses & Dissertations

Copyright Status: In Copyright

Material Type: Theses

Authors: McUmber, William E.

Date Published: 1993

Subjects: Distributed operating systems (Computers)
Electronic data processing--Distributed processing
Programming languages (Electronic computers)
System design

Program of Study: Computer Science

Degree Level: Masters

Language: English

Pages: viii, 100 pages

Permalink: https://doi.org/doi:10.25335/drf9-qt11

Transcript