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 language | Unknown |
---|---|
Title of host publication | Lecture Notes in Computer Science |
Editors | M Oliveira, J Woodcock |
Publisher | Springer-Verlag |
Pages | 290-305 |
Volume | 5902 |
ISBN (Print) | 978-3-642-10451-0 |
DOIs | |
Publication status | Published - 1 Jan 2009 |
Event | Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 - Duration: 1 Jan 2009 → … |
Conference
Conference | Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 |
---|---|
Period | 1/01/09 → … |