Report Number: CS-TR-98-1612
Institution: Stanford University, Department of Computer Science
Title: Pleiades Project: Collected Work 1997-1998
Author: Cervesato, Iliano, (editor)
Author: Mitchell, John C., (editor)
Date: October 1998
Abstract: This report collects the papers that were written by the participants of the Pleiades Project and their collaborators from April 1997 to August 1998. Its intent is to give the reader an overview of our accomplishments during this initial phase of the project. Therefore, rather than including complete publications, we chose to reproduce only the first four pages of each paper. In order to satisfy the legitimate curiosity of readers interested in specific articles, each paper can be integrally retrieved from the World-Wide Web through the provided URL. A list of the current publications of the Pleiades Project is accessible at the URL http://theory.stanford.edu/muri/papers.html. Future articles will be posted there as they become available.
http://i.stanford.edu/pub/cstr/reports/cs/tr/98/1612/CS-TR-98-1612.pdf