(ref.doc)spe28-9

Software Practice & Experience
July 98, Vol 28, No 9

Special Issue on Multiprocessor Operating Systems

p 901 The Mungi Single-Address-Space Operating System
by G Heiser, K Elphinstone, J Vochteloo, S Russell and J Liedtke

p 929 GLUnix: A Global Layer Unix for a Network of Workstations
by D Ghormley, D Petrou, S Rodrigues, A Vahdat and T Anderson

p 963 Building Adaptive Systems Using Ensemble
by Robbert Van Renesse, Ken Birman, Mark Hayden, Alexey Vaysburd and
David Karr
  Adaptive distributed systems.
  Assume-Guarantee specifications
  Protocol Switch Protocol