| Bibliography | Schirmer, Darius: Eine Prädikat- und Invariantenverwaltung zur Synchronisation in APRICOTS.
University of Stuttgart, Faculty of Computer Science, Diploma Thesis No. 1526 (1997).
113 pages, german.
|
|---|
| CR-Schema | C.2.4 (Distributed Systems)
D.4.5 (Operating Systems Reliability)
F.3.1 (Specifying and Verifying and Reasoning about Programs)
H.2.4 (Database Management Systems)
|
|---|
| Department(s) | University of Stuttgart, Institute of Parallel and Distributed High-Performance Systems, Applications of Parallel and Distributed Systems (Prof. Reuter)
|
|---|
| Entry date | September 30, 2002 |
|---|