State-based components made generic

State-based components made generic (link)
L. S. Barbosa and J. N. Oliveira. In H. Peter Gumm, editor, Proc. CMCS'03 (Int. Workshop on Coalgebraic Methods in Computer Science), ETAPS, Warsaw, Poland, Elsevier Elect. Notes in Theor. Comp. Sci., 82.1, pp 1--18, April, 2003.

Abstract

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.