%0 Journal Article
%J Electronic Notes in Theoretical Computer Science
%D 2003
%T State-based Components Made Generic
%A Luis Soares Barbosa
%A José Nuno Oliveira
%I Elsevier
%P 39-56
%V 82
%X <p>Genericity is a topic which is not sufficiently developed in state-based systems modelling, mainly due to a myriad of approaches and behaviour models which lack unification. This paper adopts coalgebra theory to propose a generic notion of a state-based software component, and an associated calculus, by quantifying over behavioural models specified as strong monads. This leads to the pointfree, calculational reasoning style which is typical of the so-called Bird-Meertens school.</p>
%> https://haslab.uminho.pt/sites/default/files/lsb/files/1-s2.0-s1571066104806315-main.pdf