Transposing partial components--an exercise on coalgebraic refinement

DOI10.1016/j.tcs.2006.07.030zbMath1118.68047OpenAlexW2012716985MaRDI QIDQ854163

José Nuno Oliveira, Luís Soares Barbosa

Publication date: 7 December 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.07.030

zbMATH Keywords

coalgebrarefinementpartial componentstry-again cycles

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (7)

``Keep definition, change category -- a practical approach to state-based system calculi ⋮ Continuity as a computational effect ⋮ Transposing partial components--an exercise on coalgebraic refinement ⋮ A calculus for generic, QoS-aware component composition ⋮ A Single Complete Relational Rule for Coalgebraic Refinement ⋮ Extended Static Checking by Calculation Using the Pointfree Transform ⋮ Pre-Galois Connection on Coalgebras for Generic Component Refinement

Uses Software

• Haskell
• Eiffel
• Z

Cites Work

• Components as coalgebras: the refinement dimension
• Transposing partial components--an exercise on coalgebraic refinement
• Formal program development. IFIP TC2/WG 2.1 State-of-the-Art report
• Universal coalgebra: A theory of systems
• Safety of abstract interpretations for free, via logical relations and Galois connections
• The B-Book
• Algebraic Methodology and Software Technology
• Mathematics of Program Construction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Transposing partial components--an exercise on coalgebraic refinement