Journal: Operating Systems Review

Volume 27, Issue 4

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

Volume 27, Issue 3

4 -- 18A. K. Yeo, Akkihebbal L. Ananda, E. K. Koh. A Taxonomy of Issues in Name Systems Design and Implementation
19 -- 33R. Gopalakrishnan, Andreas D. Bovopoulos. A Protocol Processing Architecture for Networked Multimedia Computers
34 -- 45Prasad Raja, Guevara Noubir. Static and Dynamic Polling Mechanisms for Fieldbus Networks
46 -- 54P. Krishna Reddy, Subhash Bhalla. A Non-Blocking Transaction Data Flow Graph Based Approach For Replicated Data
55 -- 74Zhonghua Yang, T. Anthony Marsland. Annotated Bibliography on Global States and Times in Distributed Systems
75 -- 86Xingwei Wang, Hong Zhao, Jiakeng Zhu. GRPC: A Communication Cooperation Mechanism in Distributed Systems
87 -- 96Jiubin Ju, Gaochao Xu, Jie Tao. Parallel Computing Using Idle Workstations
97 -- 108Christophe Haro, Christian Proust. A Multitasking Executive for Operating System Courses

Volume 27, Issue 2

1 -- 6C. K. Wong. Determining the Shorest Process Migration Paths for Program Compilation Using a Dynamic Programming Approach
7 -- 9Darrell D. E. Long. A Note on Bit-Mapped Free Sector Management
10 -- 14B. Clifford Neuman, Stuart G. Stubblebine. A Note on the Use of Timestamps as Nonces
15 -- 20B. R. Badrinath, Arup Acharya, Tomasz Imielinski. Impact of Mobility on Distributed Computations
21 -- 34R. Hugo Patterson, Garth A. Gibson, Mahadev Satyanarayanan. A Status Report on Research in Transparent Informed Prefetching
35 -- 43C. Kavka, M. Pritista, Raúl Héctor Gallard. Extending Device Management in Minix
44 -- 53Robbert van Renesse. Causal Controvery at Le Mont St.-Michel
54 -- 55Jean-Pierre Banâtre, Sacha Krakowiak. Models and Paradigms for Distributed Systems Structuring - Introduction
56 -- 60C. Bryce, Daniel Hagimont, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat. Models and Paradigms for Distributed Systems Structuring - Summary of Sessions
61 -- 65Jeffrey S. Chase, Valérie Issarny, Henry M. Levy. Distribution in a Single Address Space Operating System
66 -- 71Calton Pu. Relaxing the Limitations of Serializable Transactions in Distributed Systems
72 -- 76Rob Pike, David L. Presotto, Ken Thompson, Howard Trickey, Phil Winterbottom. The Use of Name Spaces in Plan 9
77 -- 81Jerome H. Saltzer. Needed: A Systematic Structuring Paradigm for Distributed Data
82 -- 87Carlos Almeida, Bradford B. Glade, Keith Marzullo. High Availability in a Real-Time System
88 -- 93Fred Douglis. On the Role of Compression in Distributed Systems
94 -- 98Larry L. Peterson. Life on the OS/Network Boundary
99 -- 103Robert J. Stroud. Transparency and Reflection in Distributed Systems
104 -- 108John Wilkes. DataMesh, House-Building, and Distributed Systems Technology

Volume 27, Issue 1

5 -- 6Bruce K. Haddon. Book Review: Global Software: Developing Applications for the International Market by Dave Taylor
11 -- 17Alberto Bartoli, Sape J. Mullender, Martijn van der Valk. Wide-Address Spaces - Exploring the Design Space
18 -- 26David Mosberger. Memory Consistency Models
33 -- 50Marie Rose Low, Bruce Christianson. Fine Grained Object Protection in Unix
69 -- 78Ian M. Leslie, Derek McAuley, Sape J. Mullender. Pegasus - Operating System Support for Distributed Multimedia Systems
79 -- 100R. Guerrero, L. Leguizamon, Raúl Héctor Gallard. Implementation and Evaluation of Alternative Process Schedules in Minix