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
Murali Sitaraman

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