Pre-Galois Connection on Coalgebras for Generic Component Refinement

DOI10.1016/J.ENTCS.2008.03.094zbMath1279.68061OpenAlexW2135733081MaRDI QIDQ2873691

Meng Sun

Publication date: 24 January 2014

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.03.094

zbMATH Keywords

coalgebrarefinementcomponentKleisli categorypre-Galois connection

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (1)

A calculus for generic, QoS-aware component composition

Cites Work

• CMCS'03: Coalgebraic methods in computer science. Proceedings of the 6th workshop (satellite event of ETAPS 2003), Warsaw, April 5--6, 2003
• Components as coalgebras: the refinement dimension
• Transposing partial components--an exercise on coalgebraic refinement
• Universal coalgebra: A theory of systems
• Algebraic Methodology and Software Technology
• Theoretical Aspects of Computing – ICTAC 2005
• Generic Forward and Backward Simulations
• Galois Connexions
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Pre-Galois Connection on Coalgebras for Generic Component Refinement