Name
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. |
Year | DOI | Venue |
|---|---|---|
2003 | 10.1016/S1571-0661(04)80631-5 | Electronic Notes in Theoretical Computer Science |
DocType | Volume | Issue |
Journal | 82 | 1 |
ISSN | Citations | PageRank |
1571-0661 | 9 | 0.88 |
References | Authors | |
0 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| L. S. Barbosa | 1 | 51 | 6.11 |
| J. N. Oliveira | 2 | 33 | 3.33 |