This paper characterizes refinement of state-based software components modelled as pointed coalgebras for some Set endofunctors. The proposed characterization is parametric on a specification of the underlying behaviour model introduced as a strong monad. This provides a basis to reason about (and transform) state-based software designs. © Springer-Verlag 2004.
CITATION STYLE
Meng, S., & Barbosa, L. S. (2004). On refinement of generic state-based software components. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3116, 506–520. https://doi.org/10.1007/978-3-540-27815-3_38
Mendeley helps you to discover research relevant for your work.