Pre-Galois Connection on Coalgebras for Generic Component Refinement
From MaRDI portal
Publication:2873691
DOI10.1016/J.ENTCS.2008.03.094zbMath1279.68061OpenAlexW2135733081MaRDI QIDQ2873691
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
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)
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