Defining Behaviours by Quasi-finality

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Citation (Scopus)

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 omega terms) can be described by quasi-final objects.
Original languageUnknown
Title of host publicationLecture Notes in Computer Science
EditorsM Oliveira, J Woodcock
PublisherSpringer-Verlag
Pages290-305
Volume5902
ISBN (Print)978-3-642-10451-0
DOIs
Publication statusPublished - 1 Jan 2009
EventFormal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 -
Duration: 1 Jan 2009 → …

Conference

ConferenceFormal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009
Period1/01/09 → …

Cite this