The behavior-realization adjunction and generalized homomorphic relations
type: Item
instance of: scholarly article
title: The behavior-realization adjunction and generalized homomorphic relations
zbMATH Open document ID: 0901.68123
DOI: 10.1016/S0304-3975(97)87172-1
author: Gray T. Leavens
author: Don Pigozzi
published in: Theoretical Computer Science
publication date: 1998-07-23T00:00:00Z
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 1178600
zbMATH Keywords: abstract data types
MaRDI profile type: Publication
Wikidata QID: Q122861415
cites work: Q5331549
cites work: Q4105777
cites work: Realization is universal
cites work: Q3956373
cites work: Q3687683
cites work: The algebraic specification of abstract data types
cites work: Q4281477
cites work: Typed homomorphic relations extended with subtypes
cites work: Q4693151
cites work: Non-deterministic data types: Models and implementations
cites work: Semantics-directed compiler generation. Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980
cites work: On observational equivalence and algebraic specification
cites work: Behavioural correctness of data representations
cites work: Q3138547
cites work: Logical relations and the typed λ-calculus
cites work: Final algebra semantics and data type extensions
cites work: Q4385539
cites work: On hierarchies of abstract data types
description: scientific article; zbMATH DE number 1178600