| dc.contributor.author | Freire, Elisabete Raposo | |
| dc.contributor.author | Monteiro, Luís | |
| dc.date.accessioned | 2014-01-13T12:10:35Z | |
| dc.date.available | 2014-01-13T12:10:35Z | |
| dc.date.issued | 2009 | |
| dc.date.updated | 2014-01-10T12:01:54Z | |
| dc.description | 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009. | en |
| dc.description.abstract | This paper proposes a notion of quasi-final object for any concrete category, by relegating to the underlying category some of the requirements that final objects must satisfy in the main category. We present some very basic properties of quasi-final objects and show how known behaviours like traces and failures for transition systems, and behaviours extracted from the final sequence of an arbitrary endofunctor (here restricted to the first ω terms) can be described by quasi-final objects. | en |
| dc.identifier.citation | Freire, Elisabete; Monteiro, Luís. Defining Behaviours by Quasi-finality, In Formal Methods: Foundations and Applications, 290-305, ISBN: 978-3-642-10451-0. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. | en |
| dc.identifier.isbn | 978-3-642-10451-0 (Print) | |
| dc.identifier.isbn | 978-3-642-10452-7 (Online) | |
| dc.identifier.uri | http://hdl.handle.net/10400.3/2585 | |
| dc.language.iso | eng | por |
| dc.peerreviewed | yes | por |
| dc.publisher | Springer Berlin Heidelberg | por |
| dc.relation.publisherversion | http://dx.doi.org/10.1007/978-3-642-10452-7_20 | por |
| dc.subject | Formal Methods (Computer Science) | en |
| dc.subject | Computer Software | en |
| dc.title | Defining Behaviours by Quasi-finality | en |
| dc.type | book part | |
| dspace.entity.type | Publication | |
| oaire.citation.endPage | 305 | por |
| oaire.citation.startPage | 290 | por |
| oaire.citation.title | Formal Methods: Foundations and Applications | en |
| oaire.citation.volume | 5902 | por |
| rcaap.rights | restrictedAccess | por |
| rcaap.type | bookPart | por |
