Refinement, conformance and inheritance
type: Item
instance of: scholarly article
title: Refinement, conformance and inheritance
zbMATH Open document ID: 0715.68056
DOI: 10.1007/BF01898400
author: Elspeth Cusack
published in: Formal Aspects of Computing
publication date: 1991-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 4178790
zbMATH Keywords: inheritance
zbMATH Keywords: process algebra CSP
zbMATH Keywords: object-oriented
describes a project that uses: LOTOS
describes a project that uses: Smalltalk
MaRDI profile type: Publication
cites work: A Theory of Communicating Sequential Processes
cites work: Q3667910
cites work: Q3777424
cites work: Specification styles in distributed systems design and verification
description: scientific article; zbMATH DE number 4178790