Defining Behaviours by Quasi-finality

Luís Fernando Lopes Monteiro

doi:10.1007/978-3-642-10452-7_20

Defining Behaviours by Quasi-finality

Luís Fernando Lopes Monteiro

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 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	https://doi.org/10.1007/978-3-642-10452-7_20
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 → …

Access to Document

10.1007/978-3-642-10452-7_20

Cite this

@inproceedings{694d4730454d4e0ba8d580f6e83a407d,

title = "Defining Behaviours by Quasi-finality",

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.",

author = "Monteiro, {Lu{\'i}s Fernando Lopes}",

year = "2009",

month = jan,

day = "1",

doi = "10.1007/978-3-642-10452-7_20",

language = "Unknown",

isbn = "978-3-642-10451-0",

volume = "5902",

pages = "290--305",

editor = "M Oliveira and J Woodcock",

booktitle = "Lecture Notes in Computer Science",

publisher = "Springer-Verlag",

note = "null ; Conference date: 01-01-2009",

}

TY - GEN

T1 - Defining Behaviours by Quasi-finality

AU - Monteiro, Luís Fernando Lopes

PY - 2009/1/1

Y1 - 2009/1/1

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-10452-7_20

DO - 10.1007/978-3-642-10452-7_20

M3 - Conference contribution

SN - 978-3-642-10451-0

VL - 5902

SP - 290

EP - 305

BT - Lecture Notes in Computer Science

A2 - Oliveira, M

A2 - Woodcock, J

PB - Springer-Verlag

Y2 - 1 January 2009

ER -