Journals in DBLP

Operating Systems Review
2001, volume: 35, number: 1

1. Valérie Issarny
   Upcoming Events in Operating System Research. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 2001, v:35, n:1, pp:1-5 [Journal]
   
2. Dongyao Ji, Yuming Wang
   Comments on ``An approach to the formal verification of the two-party cryptographic protocols'' by Zhang, Li and Xiao. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 2001, v:35, n:1, pp:6-7 [Journal]
   
3. Bruce K. Haddon
   IEEE Storage System Standards. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 2001, v:35, n:1, pp:8-16 [Journal]
   
4. Ming-Yuan Zhu, Lei Luo, Guang-Zhe Xiong
   A Provably Correct Operating System: delta-Core. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 2001, v:35, n:1, pp:17-33 [Journal]
   
5. D. Janaki Ram, M. Uma Mahesh, N. S. K. Chandra Sekhar, Chitra Babu
   Causal Consistency in Mobile Environment. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 2001, v:35, n:1, pp:34-40 [Journal]
   
6. Chun-Li Lin, Hung-Min Sun, Tzonelih Hwang
   Efficient and Practical DHEKE Protocols. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 2001, v:35, n:1, pp:41-47 [Journal]
   
7. Daniel P. Bovet, Marco Cesati
   A Real Bottom-Up Operatiing Systems Course. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 2001, v:35, n:1, pp:48-60 [Journal]
   
8. Herman Chung-Hwa Rao, Yih-Farn Chen, Ming-Feng Chen
   A Proxy-Based Personal Web Archiving Service. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 2001, v:35, n:1, pp:61-72 [Journal]
   
9. Alberto Montresor, Renzo Davoli, Özalp Babaoglu
   Middleware for Dependable Network Services in Partitionable Distributed Systems. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 2001, v:35, n:1, pp:73-84 [Journal]
   
10. Maurice Herlihy, Srikanta Tirthapura, Roger Wattenhofer
    Ordered Multicast and Distributed Swap. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 2001, v:35, n:1, pp:85-96 [Journal]