Foundations of Component-Based Systems

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.

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