Inhalt

• Inhalt
• Einleitung
• Verfügbarkeit der Services eines Objektes
  • Reguläre Typen
  • Subtyping von regulären Typen
  • Algorithmus zum Überprüfen der Subtyp-Relation
• Erfüllung der Erwartungen eines Clients
  • Substitution des Servers
• Zusammenfassung und Bewertung
• Literatur
• Über dieses Dokument ...