Components as coalgebras: the refinement dimension
type: Item
instance of: scholarly article
title: Components as coalgebras: the refinement dimension
zbMATH Open document ID: 1086.68031
author: Sun Meng
author: L. S. Barbosa
published in: Theoretical Computer Science
publication date: 2006-04-06T00:00:00Z
full work available at URL: http://hdl.handle.net/1822/33818
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 5017467
zbMATH Keywords: software components
zbMATH Keywords: refinement
zbMATH Keywords: coalgebra
describes a project that uses: Z
MaRDI profile type: Publication
OpenAlex ID: W1971702393
cites work: The existence of refinement mappings
cites work: The B-Book
cites work: Formal program development. IFIP TC2/WG 2.1 State-of-the-Art report
cites work: State-based components made generic
cites work: Q4331824
cites work: Q4762651
cites work: Q2724177
cites work: Q4799358
cites work: Proof of correctness of data representations
cites work: Q3838013
cites work: Simulations in coalgebra
cites work: A coalgebraic semantic framework for component-based development in UML
cites work: Q3992568
cites work: Mathematics of Program Construction
cites work: A coalgebraic semantics of subtyping
cites work: Data Refinement
cites work: Universal coalgebra: A theory of systems
cites work: Q3995087
DOI: 10.1016/J.TCS.2005.09.072
description: scientific article; zbMATH DE number 5017467