Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Foundations of Component-Based Systems

Foundations of Component-Based Systems

edited by

Gary T. Leavens and Murali Sitaraman

Table of contents
BibTeX entries for each paper
Preface
Sample chapter in PDF and gzipped compressed postcript format.
(This is the book's chapter 6, "Concepts of Behavioral Subtyping and a Sketch of Their Extension to Component-Based Systems" by Gary T. Leavens and Krishna Kishore Dhara.)
Errata
Ordering information
Cambridge UK's site for the book, which includes excerpts from some reviews.

Gary T. Leavens
229 Atanasoff Hall
Department of Computer Science, Iowa State University
Ames, Iowa 50011-1040 USA

Murali Sitaraman
106 Knapp Hall
Department of Computer Science and Electrical Engineering
West Virginia University, PO Box 6330, Morgantown, WV 26506

Last update $Date: 2002/02/21 20:38:36 $