Journals in DBLP

Operating Systems Review
1993, volume: 27, number: 4

1. Paul K. Harter Jr.
   Book Review: The Temporal Logic of Reactive and Concurrent Systems, Vol. I Specification by Zahar Manna and Amir Pnueli. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 1993, v:27, n:4, pp:1-3 [Journal]
   
2. Paul K. Harter Jr.
   Book Review: Verifying Temporal Properties of Systems by Julian Charles Bradfield. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 1993, v:27, n:4, pp:4-6 [Journal]
   
3. William M. Waite
   Book Review: Larch: Languages and Toole for Formal Specification by John V. Guttag and James J. Horning. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 1993, v:27, n:4, pp:7- [Journal]
   
4. Barton P. Miller, Charles E. McDowell
   Summary of ACM/ONR Workshop on Parallel and Distributed Debugging (1993). [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 1993, v:27, n:4, pp:8-23 [Journal]
   
5. Paul F. Syverson
   On Key Distribution Protocols for Repeated Authentication. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 1993, v:27, n:4, pp:24-30 [Journal]
   
6. Armin Liebl
   Authentication in Distributed Systems: A Bibliography. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 1993, v:27, n:4, pp:31-41 [Journal]
   
7. Claudio Calvelli, Vijay Varadharajan
   Authentication and Revocation in SPM (Extended Abstract). [Citation Graph (1, 0)][DBLP]
   Operating Systems Review, 1993, v:27, n:4, pp:42-57 [Journal]
   
8. Alexander B. Romanovsky
   Fault Tolerance: Synchronization of Redundancy. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 1993, v:27, n:4, pp:58-66 [Journal]
   
9. Mohamed Naimi
   Distributed Algorithm for K-Entries to Critical Section Based on the Directed Graphs. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 1993, v:27, n:4, pp:67-75 [Journal]
   
10. Paolo Ciancarini, N. Guerrini
    Linda meets Minix. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 1993, v:27, n:4, pp:76-92 [Journal]