Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.3/2585
Título: Defining Behaviours by Quasi-finality
Autor: Freire, Elisabete Raposo
Monteiro, Luís
Palavras-chave: Formal Methods (Computer Science)
Computer Software
Data: 2009
Editora: Springer Berlin Heidelberg
Citação: 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.
Resumo: 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.
Descrição: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009.
Peer review: yes
URI: http://hdl.handle.net/10400.3/2585
ISBN: 978-3-642-10451-0 (Print)
978-3-642-10452-7 (Online)
Versão do Editor: http://dx.doi.org/10.1007/978-3-642-10452-7_20
Aparece nas colecções:DM - Parte ou Capítulo de um Livro / Part of Book or Chapter of Book

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
sbmf2009_submission_21.pdf223,2 kBAdobe PDFVer/Abrir    Acesso Restrito. Solicitar cópia ao autor!


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.