%A Marc Fogel
%A Joseph Winograd
%T EINSTEIN: an internal driver in a time-sharing environment
%J SIGOPS Operating Systems Review
%K OSR
%V 6
%N 3
%D October 1972
%P 6-14

%A Andrew Lister
%T The problem of nested monitor calls
%J SIGOPS Operating Systems Review
%K OSR
%V 11
%N 3
%D July 1977
%P 5-7

%A A.J. Payne
%T A formalised technique for expressing system exercisers
%J SIGOPS Operating Systems Review
%K OSR
%V 11
%N 3
%D July 1977
%P 8-12

%A David L. Parnas
%T The non-problem of nested monitor calls
%J SIGOPS Operating Systems Review
%K OSR
%V 12
%N 1
%D January 1978
%P 12-18

%A Horst Wettstein
%T The problem of nested monitor calls revisited
%J SIGOPS Operating Systems Review
%K OSR
%V 12
%N 1
%D January 1978
%P 19-23

%A A.J. Herbert
%T A new protection architecture for the Cambridge capability computer
%J SIGOPS Operating Systems Review
%K OSR
%V 12
%N 1
%D January 1978
%P 24-28

%A D.C. Gilbert
%T Modeling spin locks with queueing networks
%J SIGOPS Operating Systems Review
%K OSR
%V 12
%N 1
%D January 1978
%P 29-42

%A Jerome H. Saltzer
%T Research problems of decentralized systems
with largely autonomous nodes
%J SIGOPS Operating Systems Review
%K OSR
%V 12
%N 1
%D January 1978
%P 43-52

%A C. Mohan
%T Survey of recent operating systems research,
designs and implementations
%J SIGOPS Operating Systems Review
%K OSR
%V 12
%N 1
%D January 1978
%P 53-89

%A Bjarne Stroustrup
%T On unifying module interfaces
%J SIGOPS Operating Systems Review
%K OSR
%V 12
%N 1
%D January 1978
%P 90-98

%A Jerome H. Saltzer
%T On digital signatures
%J SIGOPS Operating Systems Review
%K OSR
%V 12
%N 2
%D April 1978
%P 12-14

%A F.B. Schneider
%A A.J. Bernstein
%T Scheduling in Concurrent Pascal
%J SIGOPS Operating Systems Review
%K OSR
%V 12
%N 2
%D April 1978
%P 15-20

%A M. Joseph
%A V.R. Prasad
%T More on nested monitor calls
%J SIGOPS Operating Systems Review
%K OSR
%V 12
%N 2
%D April 1978
%P 21-25

%A Douglas Cook
%T The cost of using the CAP computer's protection facilities
%J SIGOPS Operating Systems Review
%K OSR
%V 12
%N 2
%D April 1978
%P 26-30

%A A.D. Birrell
%A R.M. Needham
%T An asynchronous garbage collector for the CAP filing system
%J SIGOPS Operating Systems Review
%K OSR
%V 12
%N 2
%D April 1978
%P 31-33

%A R. Stockton Gaines
%A Norman Z. Shapiro
%T Some security principles and their application to computer security
%J SIGOPS Operating Systems Review
%K OSR
%V 12
%N 3
%D July 1978
%P 19-28

%A A.D. Birrell
%A R.M. Needham
%T Character streams
%J SIGOPS Operating Systems Review
%K OSR
%V 12
%N 3
%D July 1978
%P 29-31

%A Richard Miller
%T Unix - a portable operating system ?
%J SIGOPS Operating Systems Review
%K OSR
%V 12
%N 3
%D July 1978
%P 32-37

%A Greg Rose
%T Performance evaluation under Unix
and a study of PDP-11 instruction usage
%J SIGOPS Operating Systems Review
%K OSR
%V 12
%N 3
%D July 1978
%P 38-45

%A J. Lions
%T An operating system case study
%J SIGOPS Operating Systems Review
%K OSR
%V 12
%N 3
%D July 1978
%P 46-53

%A Jason Gait
%T Easy entry: the password encryption problem
%J SIGOPS Operating Systems Review
%K OSR
%V 12
%N 3
%D July 1978
%P 54-60

%A Janusz Gorski
%T A modular representation of the access control system
%J SIGOPS Operating Systems Review
%K OSR
%V 12
%N 3
%D July 1978
%P 61-77

%A Dennis Heimbigner
%T Writing device drivers in Concurrent Pascal
%J SIGOPS Operating Systems Review
%K OSR
%V 12
%N 4
%D October 1978
%P 16-33

%A K. Ekanadham
%A A.J. Bernstein
%T Some new transitions in hierarchical level structures
%J SIGOPS Operating Systems Review
%K OSR
%V 12
%N 4
%D October 1978
%P 34-38

%A Alan Jay Smith
%T Bibliography on paging and related topics
%J SIGOPS Operating Systems Review
%K OSR
%V 12
%N 4
%D October 1978
%P 39-56

%A Roger M. Needham
%T Adding capability access to conventional file servers
%J SIGOPS Operating Systems Review
%K OSR
%V 13
%N 1
%D January 1979
%P 3-4

%A J.L. Keedy
%T On structuring operating systems with monitors
%J SIGOPS Operating Systems Review
%K OSR
%V 13
%N 1
%D January 1979
%P 5-9

%A K. Hopper
%A H.J. Kugler
%A C. Unger
%T Abstract machines modelling network control systems
%J SIGOPS Operating Systems Review
%K OSR
%V 13
%N 1
%D January 1979
%P 10-24

%A Hugh C. Lauer
%A Roger M. Needham
%T On the duality of operating system structures
%J SIGOPS Operating Systems Review
%K OSR
%V 13
%N 2
%D April 1979
%P 3-19

%A Mike Blasgen
%A Jum Gray
%A Mike Mitoma
%A Tom Price
%T The convoy phenomenon
%J SIGOPS Operating Systems Review
%K OSR
%V 13
%N 2
%D April 1979
%P 20-25

%A Andrew S. Tanenbaum
%T A method for implementing paged, segmented virtual memories
on microprogrammable computers
%J SIGOPS Operating Systems Review
%K OSR
%V 13
%N 2
%D April 1979
%P 26-32

%A Glen Newton
%T Deadlock prevention, detection, and resolution:
an annotated bibliography
%J SIGOPS Operating Systems Review
%K OSR
%V 13
%N 2
%D April 1979
%P 33-44

%A Henrik Maegaard
%A Aksel Andreasen
%T REPOS, an operating system for the PDP-11
%J SIGOPS Operating Systems Review
%K OSR
%V 13
%N 3
%D July 1979
%P 6-11

%A Jeffrey A. Barnett
%T Garbage collection versus swapping
%J SIGOPS Operating Systems Review
%K OSR
%V 13
%N 3
%D July 1979
%P 12-17

%A James L. Peterson
%T Notes on a workshop on distributed computing
held at the Harvard Faculty Club
%J SIGOPS Operating Systems Review
%K OSR
%V 13
%N 3
%D July 1979
%P 18-30

%A B. Hebbard
%A P. Grosso
%A T. Baldridge
%A C. Chan
%A D. Fishman
%A P. Goshgarian
%A T. Hilton
%A J. Hoshen
%A K. Hoult
%A G. Huntley
%A M. Stolarchuk
%A L. Warner
%T A penetration analysis of the Michigan Terminal System
%J SIGOPS Operating Systems Review
%K OSR
%V 14
%N 1
%D January 1980
%P 7-20

%A Maurice V. Wilkes
%A Roger M. Needham
%T The Cambridge model distributed system
%J SIGOPS Operating Systems Review
%K OSR
%V 14
%N 1
%D January 1980
%P 21-29

%A Peter J. Denning
%A T. Don Dennis
%T On minimizing contention at semaphores
%J SIGOPS Operating Systems Review
%K OSR
%V 14
%N 2
%D April 1980
%P 9-20

%A Trevor Turton
%T The management of operating system state data
%J SIGOPS Operating Systems Review
%K OSR
%V 14
%N 2
%D April 1980
%P 21-24

%A N. Natarajan
%T Atomic actions and timestamps
%J SIGOPS Operating Systems Review
%K OSR
%V 14
%N 2
%D April 1980
%P 25-27

%A Andrew Klossen
%T A parallel between operating systems and human government
%J SIGOPS Operating Systems Review
%K OSR
%V 14
%N 2
%D April 1980
%P 28-31

%A Neta Amit
%A Micha Hofri
%T A simple semaphore-queue management for multiprocessor systems
%J SIGOPS Operating Systems Review
%K OSR
%V 14
%N 3
%D July 1980
%P 13-15

%A N.D. Francis
%T Simulation of operating systems
%J SIGOPS Operating Systems Review
%K OSR
%V 14
%N 3
%D July 1980
%P 16-21

%A Charles Hoch
%A J.C. Browne
%T An implementation of capabilities on the PDP-11/45
%J SIGOPS Operating Systems Review
%K OSR
%V 14
%N 3
%D July 1980
%P 22-32

%A Anita K. Jones
%T Capability architecture revisited
%J SIGOPS Operating Systems Review
%K OSR
%V 14
%N 3
%D July 1980
%P 33-35

%A Dan Oestreicher
%A J.I. Strauss
%T A set of efficient semaphoring instructions
%J SIGOPS Operating Systems Review
%K OSR
%V 14
%N 3
%D July 1980
%P 36-45

%A W. David Sincoskie
%A David J. Farber
%T SODS/OS: a distributed operating system for the IBM Series/1
%J SIGOPS Operating Systems Review
%K OSR
%V 14
%N 3
%D July 1980
%P 46-54

%A H. Sturgis
%A J. Mitchell
%A J. Israel
%T Issues in the design and use of a distributed file system
%J SIGOPS Operating Systems Review
%K OSR
%V 14
%N 3
%D July 1980
%P 55-69

%A Sun Zhongxiu
%A Xie Li
%A Fei Xianglin
%A Yi Wenguo
%A Tan Yaoming
%T An introduction to DJS200/XTI
%J SIGOPS Operating Systems Review
%K OSR
%V 14
%N 3
%D July 1980
%P 70-74

%A G.J. Myers
%A B.R.S. Buckingham
%T A hardware implementation of capability-based addressing
%J SIGOPS Operating Systems Review
%K OSR
%V 14
%N 4
%D October 1980
%P 13-25

%A Jeremy Dion
%T The Cambridge file server
%J SIGOPS Operating Systems Review
%K OSR
%V 14
%N 4
%D October 1980
%P 26-35

%A N.H. Garnett
%A R.M. Needham
%T An asynchronous garbage collector for the Cambridge file server
%J SIGOPS Operating Systems Review
%K OSR
%V 14
%N 4
%D October 1980
%P 36-40

%A Carl Dellar
%T Removing backing store administration from the CAP operating system
%J SIGOPS Operating Systems Review
%K OSR
%V 14
%N 4
%D October 1980
%P 41-49

%A H. Wettstein
%A G. Merbeth
%T The concept of asynchronization
%J SIGOPS Operating Systems Review
%K OSR
%V 14
%N 4
%D October 1980
%P 50-70

%A Peter J. Denning
%A Harold S. Stone
%T An exchange of views on operating systems courses
%J SIGOPS Operating Systems Review
%K OSR
%V 14
%N 4
%D October 1980
%P 71-82

%A A.L. Wilkinson
%A D.H. Anderson
%A D.P. Chang
%A L.H. Hin
%A A.J. Mayo
%A I.T. Viney
%A R. Williams
%A W. Wright
%T A penetration analysis of a Burroughs large system
%J SIGOPS Operating Systems Review
%K OSR
%V 15
%N 1
%D January 1981
%P 14-25

%A Brett D. Fleisch
%T An architecture for Pup services on a distributed operating system
%J SIGOPS Operating Systems Review
%K OSR
%V 15
%N 1
%D January 1981
%P 26-44

%A Johannes Madsen
%T A computer system supporting data abstraction
%J SIGOPS Operating Systems Review
%K OSR
%V 15
%N 1
%D January 1981
%P 45-72

%A Bruce Light Hillsberg
%T Generic terminal support
%J SIGOPS Operating Systems Review
%K OSR
%V 15
%N 2
%D April 1981
%P 10-15

%A K. Lunn
%A K.H. Bennett
%T An algorithm for resource location
in a loosely linked distributed computer system
%J SIGOPS Operating Systems Review
%K OSR
%V 15
%N 2
%D April 1981
%P 16-20

%A Barton Miller
%A David Presotto
%T XOS: an operating system for the X-TREE architecture
%J SIGOPS Operating Systems Review
%K OSR
%V 15
%N 2
%D April 1981
%P 21-32

%A D.C. Lindsay
%T On binding layers of software
%J SIGOPS Operating Systems Review
%K OSR
%V 15
%N 2
%D April 1981
%P 33-37

%A Johannes Madsen
%T A computer system supporting data abstraction (part 2)
%J SIGOPS Operating Systems Review
%K OSR
%V 15
%N 2
%D April 1981
%P 38-78

%A Barbara Liskov
%T Report on the Workshop on Fundamental Issues in Distributed Computing
%J SIGOPS Operating Systems Review
%K OSR
%V 15
%N 3
%D July 1981
%P 9-38

%A Liba Svobodova
%T Performance monitoring in computer systems: a structured approach
%J SIGOPS Operating Systems Review
%K OSR
%V 15
%N 3
%D July 1981
%P 39-50

%A Andrew S. Tanenbaum
%A Sape J. Mullender
%T An overview of the Amoeba distributed computer system
%J SIGOPS Operating Systems Review
%K OSR
%V 15
%N 3
%D July 1981
%P 51-64

%A P.A. Janson
%T Using type-extension to organize virtual-memory mechanisms
%J SIGOPS Operating Systems Review
%K OSR
%V 15
%N 4
%D October 1981
%P 6-38

%A Alan Jay Smith
%T Bibliography of file and I/O system optimization and related topics
%J SIGOPS Operating Systems Review
%K OSR
%V 15
%N 4
%D October 1981
%P 3-54

%A John Sanguinetti
%T The use of the monitor call instruction
to implement domain switching in the IBM 370 architecture
%J SIGOPS Operating Systems Review
%K OSR
%V 15
%N 4
%D October 1981
%P 55-61

%A Jean Bacon
%T An approach to distributed software systems
%J SIGOPS Operating Systems Review
%K OSR
%V 15
%N 4
%D October 1981
%P 62-74

%A Kirk A. Bailey
%A Lee Boynton
%A Paul E. McKenney
%A Gary J. Oliver
%A Dave Regan
%T User defined files
%J SIGOPS Operating Systems Review
%K OSR
%V 15
%N 4
%D October 1981
%P 75-84

%A R.C. Holt
%T TUNIS: a UNIX look-alike written in Concurrent Euclid (abstract)
%J SIGOPS Operating Systems Review
%K OSR
%V 16
%N 1
%D January 1982
%P 4-5

%A S.P. Rana
%T Triple-handed dining philosophers
%J SIGOPS Operating Systems Review
%K OSR
%V 16
%N 1
%D January 1982
%P 6-9

%A Richard M. Weatherly,\ Jr.
%A James F. Leathrum
%T Efficient semaphore management using read/modify/write memory cycles
%J SIGOPS Operating Systems Review
%K OSR
%V 16
%N 1
%D January 1982
%P 10-13

%A S. Tucker Taft
%T An object-based virtual operating system
for the Ada programming support environment
%J SIGOPS Operating Systems Review
%K OSR
%V 16
%N 1
%D January 1982
%P 14-25

%A D.M. Nessett
%T Identifier protection in a distributed operating system
%J SIGOPS Operating Systems Review
%K OSR
%V 16
%N 1
%D January 1982
%P 26-31

%A James D. Mooney
%T USIM: a user interface manager
%J SIGOPS Operating Systems Review
%K OSR
%V 16
%N 1
%D January 1982
%P 32-40

%A H.S.M. Kruijer
%T Processor management in a Concurrent Pascal kernel
%J SIGOPS Operating Systems Review
%K OSR
%V 16
%N 2
%D April 1982
%P 7-17

%A J.M. Adams
%A A.P. Black
%T On proof rules for monitors
%J SIGOPS Operating Systems Review
%K OSR
%V 16
%N 2
%D April 1982
%P 18-27

%A Krishna Kant
%A Abraham Silberschatz
%T On the generalized critical region construct
%J SIGOPS Operating Systems Review
%K OSR
%V 16
%N 3
%D July 1982
%P 4-16

%A John H. Howard
%T Reply to "On proof rules for monitors"
%J SIGOPS Operating Systems Review
%K OSR
%V 16
%N 4
%D October 1982
%P 8-9

%A J.R. Metzner
%T Structuring operating systems literature for the graduate course
%J SIGOPS Operating Systems Review
%K OSR
%V 16
%N 4
%D October 1982
%P 10-25

%A Irving L. Traiger
%T Virtual memory management for data base systems
%J SIGOPS Operating Systems Review
%K OSR
%V 16
%N 4
%D October 1982
%P 26-48

%A C. Gray Girling
%T Object representation on a heterogeneous network
%J SIGOPS Operating Systems Review
%K OSR
%V 16
%N 4
%D October 1982
%P 49-59

%A M.E. Harper
%T Mutual exclusion within both
software- and hardware-driven kernel primitives
%J SIGOPS Operating Systems Review
%K OSR
%V 16
%N 4
%D October 1982
%P 60-68

%A Pearl Brereton
%T Detection and resolution of inconsistencies
among distributed replicates of files
%J SIGOPS Operating Systems Review
%K OSR
%V 17
%N 1
%D January 1983
%P 10-15

%A R.M. Needham
%A A.J. Herbert
%A J.B. Mitchell
%T How to connect stable memory to a computer
%J SIGOPS Operating Systems Review
%K OSR
%V 17
%N 1
%D January 1983
%P 16

%A Sandra A. Mamrak
%A Dennis Leinbaugh
%A Tony S. Berk
%T A progress report on the Desperanto research project
- software support for distributed processing
%J SIGOPS Operating Systems Review
%K OSR
%V 17
%N 1
%D January 1983
%P 17-29

%A Peter Peinl
%A Andreas Reuter
%T Synchronizing multiple database processes
in a tightly coupled multiprocessor environment
%J SIGOPS Operating Systems Review
%K OSR
%V 17
%N 1
%D January 1983
%P 30-37

%A Krishna Kant
%T Efficient local checkpointing for software fault tolerance
%J SIGOPS Operating Systems Review
%K OSR
%V 17
%N 2
%D April 1983
%P 11-13

%A Brett D. Fleisch
%T Operating systems: a perspective on future trends
%J SIGOPS Operating Systems Review
%K OSR
%V 17
%N 2
%D April 1983
%P 14-17

%A Alfred Z. Spector
%A Peter M. Schwarz
%T Transactions: a construct for reliable distributed computing
%J SIGOPS Operating Systems Review
%K OSR
%V 17
%N 2
%D April 1983
%P 18-35

%A Jeffery A. Barnett
%A Alvin S. Cooperband
%T Priority is a limited property
%J SIGOPS Operating Systems Review
%K OSR
%V 17
%N 3
%D July 1983
%P 9

%A Ian H. Witten
%A Graham M. Birtwistle
%A John Cleary
%A David R. Hill
%A Danny Levinson
%A Greg Lomow
%A Radford Neal
%A Murray Peterson
%A Brian W. Unger
%A Brian Wyvill
%T Jade: a distributed software prototyping environment
%J SIGOPS Operating Systems Review
%K OSR
%V 17
%N 3
%D July 1983
%P 10-23

%A H. Schmutz
%A P. Silberbusch
%T Working sets and near-optimality
%J SIGOPS Operating Systems Review
%K OSR
%V 17
%N 3
%D July 1983
%P 24-29

%A Sun Zhongxiu
%A Zhang Du
%A Yan Peigen
%T ZCZOS: a distributed operating system
for a LSI-11 microcomputer network
%J SIGOPS Operating Systems Review
%K OSR
%V 17
%N 3
%D July 1983
%P 30-34

%A Roy Levin
%A David D. Redell
%T An evaluation of the ninth SOSP submissions
%J SIGOPS Operating Systems Review
%K OSR
%V 17
%N 3
%D July 1983
%P 35-40

%A Per Brinch\ Hansen
%T Using personal computers in operating system courses
%J SIGOPS Operating Systems Review
%K OSR
%V 17
%N 3
%D July 1983
%P 41-50

%A D. Zobel
%T The deadlock problem: a classifying bibliography
%J SIGOPS Operating Systems Review
%K OSR
%V 17
%N 4
%D October 1983
%P 6-15

%A R. Levin
%A D. Redell
%T Report on work-in-progress session of the
Ninth ACM Symposium on Operating System Principles
%J SIGOPS Operating Systems Review
%K OSR
%V 18
%N 1
%D January 1984
%P 9-10

%A K.M. Kavi
%A K. Krishnamohan
%T Architecture quality
%J SIGOPS Operating Systems Review
%K OSR
%V 18
%N 1
%D January 1984
%P 11-19

%A K. Owen
%T Data communications: IFIP's international "network" of experts
%J SIGOPS Operating Systems Review
%K OSR
%V 18
%N 1
%D January 1984
%P 20-26

%A J.W. Atwood
%T Use of Tunis in an operating system design course
%J SIGOPS Operating Systems Review
%K OSR
%V 18
%N 2
%D April 1984
%P 6-7

%A M. Stonebraker
%T Virtual memory transaction management
%J SIGOPS Operating Systems Review
%K OSR
%V 18
%N 2
%D April 1984
%P 8-16

%A J.C. Browne
%A G. Almasi
%T The workshop on university/industry/government collaboration
on research in parallel computing
%J SIGOPS Operating Systems Review
%K OSR
%V 18
%N 3
%D July 1984
%P 15-27

%A F.C.M. Lau
%T Two-part names and process termination
%J SIGOPS Operating Systems Review
%K OSR
%V 18
%N 3
%D July 1984
%P 28-30

%A R.L. Routh
%T A proposal for an architectural approach which apparently solves
all known software-based internal computer security problems
%J SIGOPS Operating Systems Review
%K OSR
%V 18
%N 3
%D July 1984
%P 31-39

%A S. Kutti
%T Why a distributed kernel ?
%J SIGOPS Operating Systems Review
%K OSR
%V 18
%N 4
%D October 1984
%P 5-11

%A D.R. Cheriton
%T An experiment using registers
for fast message-based interprocess communication
%J SIGOPS Operating Systems Review
%K OSR
%V 18
%N 4
%D October 1984
%P 12-20

%A M. Stonebraker
%A D. DuBourdieux
%A W. Edwards
%T Problems in supporting data base transactions
in an operating system transaction manager
%J SIGOPS Operating Systems Review
%K OSR
%V 19
%N 1
%D January 1985
%P 6-14

%A A. Hac
%T Distributed file systems - a survey
%J SIGOPS Operating Systems Review
%K OSR
%V 19
%N 1
%D January 1985
%P 15-18

%A W.E. Weihl
%T Data-dependent concurrency control and recovery
%J SIGOPS Operating Systems Review
%K OSR
%V 19
%N 1
%D January 1985
%P 19-31

%A J.E. Allchin
%A M.S. McKendry
%T Synchronizations and recovery of actions
%J SIGOPS Operating Systems Review
%K OSR
%V 19
%N 1
%D January 1985
%P 32-45

%A A. Lakhotia
%T Implication and equivalence I/O
%J SIGOPS Operating Systems Review
%K OSR
%V 19
%N 1
%D January 1985
%P 46-52

%A K. Singh
%T On improvements to password security
%J SIGOPS Operating Systems Review
%K OSR
%V 19
%N 1
%D January 1985
%P 53-60

%A L. Svobodova
%T Workshop summary - operating systems in computer networks
%J SIGOPS Operating Systems Review
%K OSR
%V 19
%N 2
%D April 1985
%P 6-39

%A C. Mohan
%A B. Lindsay
%T Efficient commit protocols for the tree of processes model
of distributed transactions
%J SIGOPS Operating Systems Review
%K OSR
%V 19
%N 2
%D April 1985
%P 40-52

%A N. Francez
%A B. Hailpern
%T Script: a communication abstraction mechanism
%J SIGOPS Operating Systems Review
%K OSR
%V 19
%N 2
%D April 1985
%P 53-67

%A C.K. Yuen
%T On programs, tasks and processes
%J SIGOPS Operating Systems Review
%K OSR
%V 19
%N 3
%D July 1985
%P 7-8

%A K. Loepere
%T Resolving covert channels within a B2 class secure system
%J SIGOPS Operating Systems Review
%K OSR
%V 19
%N 3
%D July 1985
%P 9-28

%A C. Mohan
%A R. Strong
%A S. Finkelstein
%T Method for distributed transaction commit and recovery
using Byzantine agreement within clusters of processors
%J SIGOPS Operating Systems Review
%K OSR
%V 19
%N 3
%D July 1985
%P 29-43

%A K. Marzullo
%T Maintaining the time in a distributed system
%J SIGOPS Operating Systems Review
%K OSR
%V 19
%N 3
%D July 1985
%P 44-54

%A L.L. Spratt
%T The transaction resolution journal:
extending the before journal
%J SIGOPS Operating Systems Review
%K OSR
%V 19
%N 3
%D July 1985
%P 55-62

%A N. Hardy
%T KeyKOS architecture
%J SIGOPS Operating Systems Review
%K OSR
%V 19
%N 4
%D October 1985
%P 8-25

%A D.R. Cheriton
%T Preliminary thoughts on problem-oriented shared memory:
a decentralized approach to distributed systems
%J SIGOPS Operating Systems Review
%K OSR
%V 19
%N 4
%D October 1985
%P 26-33

%A L. Lamport
%T Solved problems, unsolved problems and nonproblems in concurrency
%J SIGOPS Operating Systems Review
%K OSR
%V 19
%N 4
%D October 1985
%P 34-44

%A J. Kepecs
%A M. Solomon
%T SODA: a simplified OS for distributed applications
%J SIGOPS Operating Systems Review
%K OSR
%V 19
%N 4
%D October 1985
%P 45-56

%A Harold Lorin
%T An expanded approach to objects
%J SIGOPS Operating Systems Review
%K OSR
%V 20
%N 1
%D January 1986
%P 6-11

%A P. Singleton
%A K.H. Bennett
%A O.P. Brereton
%T A single model for files and processes
%J SIGOPS Operating Systems Review
%K OSR
%V 20
%N 1
%D January 1986
%P 12-18

%A M. Ancona
%A A. Clematis
%A V. Gianuzzi
%T Interfacing user processes and kernel in high level language
%J SIGOPS Operating Systems Review
%K OSR
%V 20
%N 1
%D January 1986
%P 19-23

%A Dean Daniels
%A Alfred Z. Spector
%T An algorithm for replicated directories
%J SIGOPS Operating Systems Review
%K OSR
%V 20
%N 1
%D January 1986
%P 24-43

%A Eric C. Cooper
%T Replicated procedure call
%J SIGOPS Operating Systems Review
%K OSR
%V 20
%N 1
%D January 1986
%P 44-56

%A Gene T.H. Wu
%A Arthur J. Bernstein
%T Efficient solutions to the replicated log and dictionary problems
%J SIGOPS Operating Systems Review
%K OSR
%V 20
%N 1
%D January 1986
%P 57-66

%A Leslie Lamport
%A P.M. Melliar-Smith
%T Byzantine clock synchronization
%J SIGOPS Operating Systems Review
%K OSR
%V 20
%N 3
%D July 1986
%P 10-16

%A David Cheung
%A Tiko Kameda
%T Site optimal termination protocols
for a distributed database under network partitioning
%J SIGOPS Operating Systems Review
%K OSR
%V 20
%N 3
%D July 1986
%P 17-27

%A I. Rattan
%A L.P.S. Singh
%T On table fragmentation in virtual memory management
%J SIGOPS Operating Systems Review
%K OSR
%V 20
%N 3
%D July 1986
%P 28-30

%A Maurice Herlihy
%T Comparing how atomicity mechanisms support replication
%J SIGOPS Operating Systems Review
%K OSR
%V 20
%N 3
%D July 1986
%P 31-39

%A Du Zhang
%A Meilliu Lu
%T Process name resolution in fault-tolerant CSP programs
%J SIGOPS Operating Systems Review
%K OSR
%V 20
%N 4
%D October 1986
%P 9-15

%A Amos O. Olagunju
%A Elvis Borders
%T Emulators: prospective instruments for instruction in systems programming
%J SIGOPS Operating Systems Review
%K OSR
%V 20
%N 4
%D October 1986
%P 16-24

%A R.M. Needham
%A M.D. Schroeder
%T Authentication revisited
%J SIGOPS Operating Systems Review
%K OSR
%V 21
%N 1
%D January 1987
%P 7

%A Dave Otway
%A Owen Rees
%T Efficient and timely mutual authentication
%J SIGOPS Operating Systems Review
%K OSR
%V 21
%N 1
%D January 1987
%P 8-10

%A John R. Nicol
%A Gordon S. Blair
%A Jonathan Walpole
%T Operating system design: towards a holistic approach ?
%J SIGOPS Operating Systems Review
%K OSR
%V 21
%N 1
%D January 1987
%P 11-19

%A Andrew S. Tanenbaum
%T A Unix clone with source code for operating systems courses
%J SIGOPS Operating Systems Review
%K OSR
%V 21
%N 1
%D January 1987
%P 20-29
%K Minix

%A G.R. Guenther
%T Running 7th edition Unix programs on a VAX in compatibility mode
%J SIGOPS Operating Systems Review
%K OSR
%V 21
%N 1
%D January 1987
%P 30-33

%A I. Rattan
%T Memory management units for microcomputer operating systems
%J SIGOPS Operating Systems Review
%K OSR
%V 21
%N 1
%D January 1987
%P 34-38

%A Roger G. Ruckert
%A John D. Dean
%T Launching a successful CPME program in a multivendor environment
%J SIGOPS Operating Systems Review
%K OSR
%V 21
%N 1
%D January 1987
%P 39-48

%A Sape Mullender
%T Report on the Second European SIGOPS Workshop
"Making distributed systems work"
%J SIGOPS Operating Systems Review
%K OSR
%V 21
%N 1
%D January 1987
%P 49-84

%A Martin Turnbull
%T Support for heterogeneity in the global distributed operating system
%J SIGOPS Operating Systems Review
%K OSR
%V 21
%N 2
%D February 1987
%P 11-22

%A S.J. Pratt
%T Catastrophe theory: its application in operating system design
%J SIGOPS Operating Systems Review
%K OSR
%V 21
%N 2
%D February 1987
%P 23-32

%A Maurice Herlihy
%T Optimistic concurrency control for abstract data types
%J SIGOPS Operating Systems Review
%K OSR
%V 21
%N 2
%D February 1987
%P 33-44

%A Robert L. Gordon
%T Window management, graphics, and operating systems
%J SIGOPS Operating Systems Review
%K OSR
%V 21
%N 3
%D July 1987
%P 5-8

%A Roy Campbell
%A Garry Johnston
%A Wincent Russo
%T Choices (class hierarchical open interface for custom embedded systems)
%J SIGOPS Operating Systems Review
%K OSR
%V 21
%N 3
%D July 1987
%P 9-17

%A Charles H. Sauer
%A Don W. Johnson
%A Larry K. Loucks
%A Amal A. Shaheen-Gouda
%A Todd A. Smith
%T RT PC distributed services overview
%J SIGOPS Operating Systems Review
%K OSR
%V 21
%N 3
%D July 1987
%P 18-29
%K IBM, AIX, Unix

%A Timothy V. Fossum
%T PC-XINU features and installation
%J SIGOPS Operating Systems Review
%K OSR
%V 21
%N 3
%D July 1987
%P 30-33
%K Unix, MS-DOS