A coalgebraic characterization of behaviours in the linear time - branching time spectrum

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Abstract

The paper outlines an approach for characterizing several kinds of behaviours for transition systems in coalgebraic terms and illustrates the approach with some behaviours in the linear time -- branching time spectrum, namely, traces, ready-traces and failures. The approach is based on an abstract notion of ``behaviour object'' that can be defined in any (concrete) category and enjoys a uniqueness property similar to the uniqueness of morphisms to final objects. That property makes behaviour objects final in a suitable extension of the given category with additional morphisms, which allows to define the behaviours of arbitrary objects by the unique morphisms to the behaviour objects. The main purpose of the paper is to show how trace, ready-trace and failure semantics can be characterized in terms of behaviour objects.
Original languageUnknown
Title of host publicationLecture Notes in Computer Science
EditorsA Corradini, U Montanari
PublisherSpringer-Verlag
Pages251-265
Volume5486
DOIs
Publication statusPublished - 1 Jan 2009
EventRecent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008 -
Duration: 1 Jan 2009 → …

Conference

ConferenceRecent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008
Period1/01/09 → …

Cite this

Monteiro, L. F. L. (2009). A coalgebraic characterization of behaviours in the linear time - branching time spectrum. In A. Corradini, & U. Montanari (Eds.), Lecture Notes in Computer Science (Vol. 5486, pp. 251-265). Springer-Verlag. https://doi.org/10.1007/978-3-642-03429-9_17