Transposing partial components--an exercise on coalgebraic refinement
type: Item
instance of: scholarly article
title: Transposing partial components--an exercise on coalgebraic refinement
zbMATH Open document ID: 1118.68047
published in: Theoretical Computer Science
publication date: 2006-12-07T00:00:00Z
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 5079003
zbMATH Keywords: partial components
zbMATH Keywords: try-again cycles
zbMATH Keywords: refinement
zbMATH Keywords: coalgebra
author: L. S. Barbosa
author: J. N. Oliveira
describes a project that uses: Z
describes a project that uses: Haskell
describes a project that uses: Eiffel
MaRDI profile type: Publication
full work available at URL: j.tcs.2006.07.030
OpenAlex ID: W2012716985
cites work: The B-Book
cites work: Safety of abstract interpretations for free, via logical relations and Galois connections
cites work: Formal program development. IFIP TC2/WG 2.1 State-of-the-Art report
cites work: Q4762665
cites work: State-based components made generic
cites work: Q4331824
cites work: Q3405587
cites work: Q3157876
cites work: Q3838013
cites work: Simulations in coalgebra
cites work: Q3707340
cites work: Algebraic Methodology and Software Technology
cites work: Components as coalgebras: the refinement dimension
cites work: Q4371400
cites work: Mathematics of Program Construction
cites work: Universal coalgebra: A theory of systems
DOI: 10.1016/J.TCS.2006.07.030
description: scientific article; zbMATH DE number 5079003