This file (README-prospero-documents, version of 7 April 1993,
swa@isi.edu) describes the publicly available documents about the
Prospero Virtual File System.  For comments on this file or questions
about prospero, please send electronic mail to info-prospero@ISI.EDU

These files are all available through Prospero.  If you're not running
Prospero yet, they're also available via anonymous FTP from
PROSPERO.ISI.EDU.

Some of the documents mentioned below this point in this file are
marked with the label DISTRIBUTION and are additionally available in
the doc subdirectory of the latest Prospero release (release
Alpha.5.0b).  A good way to obtain the Prospero distribution, if
you're not running Prospero yet, is to anonymously FTP to
PROSPERO.ISI.EDU and get /pub/prospero/prospero.tar.Z.  If you are
already running Prospero, the lastest distribution is kept in
/releases/prospero/prospero.tar.Z.

Prospero: /papers/subjects/operating-systems/prospero/prospero-oir.ps.Z
Anonymous FTP: /pub/papers/prospero/prospero-oir.ps.Z
(POSTSCRIPT)
@ARTICLE{oir,
AUTHOR      = "Neuman, B. Clifford",
TITLE       = "Prospero: A Tool for Organizing {I}nternet Resources",
JOURNAL     = "Electronic Networking: Research, Applications and Policy",
MONTH       = "Spring",
YEAR        = 1992,
VOLUME      = 2,
NUMBER      = 1}
        This is a useful first paper to read.  It gives a good
overview of Prospero and what it does.  It also describes a bit about
the Virtual System model, of which Prospero is a prototype
implementation.  Describes what Prospero does, not how it does it.


Prospero: /papers/subjects/operating-systems/prospero/prospero-gfsvsm.ps.Z
Anonymous FTP: /pub/papers/prospero/prospero-gfsvsm.ps.Z
(POSTSCRIPT)
   @INPROCEEDINGS{gfsvsm,
   AUTHOR      = "Neuman, B. Clifford",
   TITLE       = "The {P}rospero {F}ile {S}ystem: A Global File System
                  based on the {V}irtual {S}ystem {M}odel", 
   BOOKTITLE   = "Proceedings of the Workshop on File Systems",
   YEAR        = 1992,
   MONTH       = "May"}
This is a good second paper to read about Prospero.  This one is
targeted more toward system implementors.  It provides more
implementation details than the paper on organizing Internet
resources, but less of the vision of how Prospero can be used together
with other systems. 


Prospero: /papers/subjects/operating-systems/prospero/UW-CS-89-01-07.PS.Z
Anonymous FTP: /pub/papers/prospero/UW-CS-89-01-07.PS.Z
(POSTSCRIPT)
   @TECHREPORT{vsmldos,
   AUTHOR      = "Neuman, B. Clifford",
   TITLE       = "The {V}irtual {S}ystem {M}odel for Large Distributed
                  Operating Systems",
   INSTITUTION = "Department of Computer Science, University of Washington",
   YEAR        = 1989,
   MONTH       = "April",
   NUMBER      = "89-01-07"}
This describes the initial vision for the Virtual System
Model, the model on which Prospero is based.  Much of the material in
this paper appears in greater detail in other papers.


Prospero: /papers/subjects/operating-systems/prospero/UW-CSE-90-05-01.PS.Z
Anonymous FTP: /pub/papers/prospero/UW-CSE-90-05-01.PS.Z
(POSTSCRIPT)
   @TECHREPORT{vsmtp,
   AUTHOR      = "Neuman, B. Clifford",
   TITLE       = "The {V}irtual {S}ystem {M}odel: A Scalable Approach to
                  Organizing Large Systems (A Thesis Proposal)",
   INSTITUTION = "Department of Computer Science and Engineering, 
                  University of Washington",
   YEAR        = 1990,
   MONTH       = "May",
   NUMBER      = "90-05-01"}
For a long time this was the best description of Prospero, but
all the information in this document appears in more recent papers and
the dissertation itself.  
        
Prospero: /papers/subjects/operating-systems/prospero/prospero-closure.ps.Z
Anonymous FTP: /pub/papers/prospero/prospero-closure.ps.Z
(POSTSCRIPT)
   @ARTICLE{nfclosure,
   AUTHOR      = "Neuman, B. Clifford",
   TITLE       = "The Need for Closure in Large Distributed Systems",
   JOURNAL     = "Operating Systems Review",
   MONTH       = "October",
   YEAR        = 1989,
   VOLUME      = 23,
   NUMBER      = 4,
   PAGES       = "28--30"}
This paper describes the reasons that operating systems need to
support closure, that is they need to make it clear which name space
is to be used when resolving names.  While closure is one of the
important features of Prospero, the concept should be applied in other
operating systems too.


Prospero: /papers/subjects/operating-systems/prospero/prospero-wsvsm.ps.Z
Anonymous FTP: /pub/papers/prospero/prospero-wsvsm.ps.Z
(POSTSCRIPT)
@INPROCEEDINGS{wsvsm,
AUTHOR      = "Neuman, B. Clifford",
TITLE       = "Workstations and the {V}irtual {S}ystem {M}odel",
BOOKTITLE   = "Proceedings of the 2nd IEEE Workshop on 
               Workstation Operating Systems",
YEAR        = 1989,
MONTH       = "September",
PAGES       = "91--95",
NOTE        = "Also appears in the {\it Newsletter of the IEEE Technical 
               Committee on Operating Systems}, Volume 3, Number 3,
               Fall 1989.  Available as University of Washington Department
               of Computer Science and Engineering Technical Report
               89-10-10"} 
Describes the role of the workstation in a system based on the Virtual
System Model.  Also provides an early description of Prospero.
     
Prospero:
    /papers/subjects/operating-systems/prospero/prospero-neuman-thesis.ps.Z
Anonymous FTP: /pub/papers/prospero/prospero-neuman-thesis.ps.Z
(POSTSCRIPT)
   @PHDTHESIS{phdneuman,
   AUTHOR      = "Neuman, B. Clifford",
   TITLE       = "The {V}irtual {S}ystem {M}odel: A Scalable Approach to
                  Organizing Large Systems",
   SCHOOL      = "University of Washington",
   MONTH       = "June",
   YEAR        = 1992,
   NOTE        = "Department of Computer Science and Engineering
                  Technical Report 92-06-04"} 

This is Clifford Neuman's Ph.D. Dissertation.  It is currently the
definitive work on Prospero and the Virtual System Model.  The
prospero manuals that form its appendices have been superseded by
those described below.


Prospero:
   /papers/subjects/operating-systems/prospero/doc/prospero-protocol-v5.PS.Z
Anonymous FTP: /pub/prospero/doc/prospero-protocol-v5.PS.Z
(POSTSCRIPT or LaTeX)
        This is a description of version 5 of the Prospero protocol
and of the Reliable Delivery Protocol that we use.  It includes lots
of information that was elided in the version 1 protocol
specification.  It also has a lot of information in it about how the
system works.  The LaTeX source is available as
prospero-protocol-v5.tex.Z.

Prospero: /papers/subjects/operating-systems/prospero/doc/prospero-protocol-v1.PS.Z
Anonymous FTP: /pub/prospero/doc/prospero-protocol-v1.PS.Z
(POSTSCRIPT)
        This is a description of version 1 of the Prospero protocol.
(It's identical to appendices D and E of B. Clifford Neuman's Ph.D.
Dissertation.)  It is now obsoleted by version 5 protocol.

Prospero: 
   /papers/subjects/operating-systems/prospero/doc/prospero-user-manual.PS.Z
Anonymous FTP: /pub/prospero/doc/prospero-user-manual.PS.Z
(POSTSCRIPT or LaTeX)
	This is the Prospero User's manual.  It is slightly out of
date, and we'll be revising it shortly.  Latex source in the
corresponding .tex file. 

Prospero: 
   /papers/subjects/operating-systems/prospero/doc/prospero-library.PS.Z
Anonymous FTP: /pub/prospero/doc/prospero-library.PS.Z
DISTRIBUTION: library.PS, library.tex
(POSTSCRIPT, LaTeX)
        Prospero library manual.  Somewhat sketchy and not
comprehensive, but far better than nothing.  This is mainly useful for
applications writers.  This will be updated soon.  Latex source in the
corresponding .tex file.


Prospero: /papers/subjects/security/issues.ps.Z
Anonymous FTP: /pub/papers/psfos.ps.Z
(POSTSCRIPT)
   @INPROCEEDINGS{psfos,
   AUTHOR      = "Neuman, B. Clifford",
   TITLE       = "Protection and Security Issues for Future Systems",
   BOOKTITLE   = "Proceedings of the Workshop on Operating Systems of the
                  90s and Beyond",
   PUBLISHER   = "Springer-Verlag",
   YEAR        = 1991,
   MONTH       = "July",
   PAGES       = "184--201",
   NOTE        = "Lecture Notes in Computer Science #563",}
Not Prospero-specific.  Describes some of the security issues which
underlay the development of Prospero's (optional) access control system.

Prospero: /papers/subjects/distributed-systems/scale.ps.Z
Anonymous FTP: /pub/papers/scale.ps.Z
(POSTSCRIPT)
   @INCOLLECTION{sds,
   AUTHOR      = "Neuman, B. Clifford",
   TITLE       = "Scale in Distributed Systems",
   BOOKTITLE   = "Readings in Distributed Computing Systems",
   PUBLISHER   = "IEEE Computer Society Press",
   YEAR        = 1992}
This is not really Prospero-specific, but it addresses general issues
of scale in distributed systems.  It discusses Prospero among other
systems, and mentions a number of the issues that are driving the
development of Prospero. 

Prospero: /papers/subjects/operating-systems/prospero/README-prospero-documents
Anonymous FTP: /pub/papers/prospero/README-prospero-documents
(ASCII)
        This file.


Virtual-System-Name: #/INET/EDU/ISI/swa
