Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/33846
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Oliveira, José Nuno | por |
dc.contributor.author | Barbosa, L. S. | por |
dc.date.accessioned | 2015-02-12T17:14:59Z | - |
dc.date.available | 2015-02-12T17:14:59Z | - |
dc.date.issued | 2003 | - |
dc.identifier.issn | 1571-0661 | - |
dc.identifier.uri | https://hdl.handle.net/1822/33846 | - |
dc.description.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. | por |
dc.description.sponsorship | (undefined) | por |
dc.language.iso | eng | por |
dc.publisher | Elsevier 1 | por |
dc.rights | openAccess | por |
dc.title | State-based components made generic | por |
dc.type | article | por |
dc.peerreviewed | yes | por |
dc.comments | 1325 | por |
sdum.publicationstatus | submitted | por |
oaire.citationStartPage | 39 | por |
oaire.citationEndPage | 56 | por |
oaire.citationIssue | 1 | por |
oaire.citationTitle | Electronic Notes in Theoretical Computer Science | por |
oaire.citationVolume | 82 | por |
dc.publisher.uri | Elsevier | por |
dc.identifier.doi | 10.1016/S1571-0661(04)80631-5 | por |
sdum.journal | Electronic Notes in Theoretical Computer Science | por |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |