A complete algebraic characterization of behavioral subtyping
type: Item
instance of: scholarly article
title: A complete algebraic characterization of behavioral subtyping
zbMATH Open document ID: 0951.68018
author: Gary T. Leavens
author: Don Pigozzi
published in: Acta Informatica
publication date: 2000-05-09T00:00:00Z
full work available at URL: https://lib.dr.iastate.edu/cgi/viewcontent.cgi
Mathematics Subject Classification ID: 68N19
zbMATH DE Number: 1444002
zbMATH Keywords: behavioral subtyping
MaRDI profile type: Publication
OpenAlex ID: W2004756043
DOI: 10.1007/S002360050168
description: scientific article; zbMATH DE number 1444002