Interaction and observation, categorically

Interaction and observation, categorically

This paper proposes to use dialgebras to specify the semantics of interactive systems in a natural way. Dialgebras are a conservative extension of coalgebras. In this categorical model, from the point of view that we provide, the notions of observation and interaction are separate features. This is...

Full description

Bibliographic Details
Main Author: Vincenzo Ciancia
Format: Article
Language:English
Published: Open Publishing Association 2011-07-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1108.0464v1
id doaj-6de4dd0e2415440a8a32cb4481d06333
record_format Article
spelling doaj-6de4dd0e2415440a8a32cb4481d063332020-11-24T23:39:54ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802011-07-0159Proc. ICE 2011253610.4204/EPTCS.59.3Interaction and observation, categoricallyVincenzo CianciaThis paper proposes to use dialgebras to specify the semantics of interactive systems in a natural way. Dialgebras are a conservative extension of coalgebras. In this categorical model, from the point of view that we provide, the notions of observation and interaction are separate features. This is useful, for example, in the specification of process equivalences, which are obtained as kernels of the homomorphisms of dialgebras. As an example we present the asynchronous semantics of the CCS.http://arxiv.org/pdf/1108.0464v1
collection DOAJ
language English
format Article
sources DOAJ
author Vincenzo Ciancia
spellingShingle Vincenzo Ciancia
Interaction and observation, categorically
Electronic Proceedings in Theoretical Computer Science
author_facet Vincenzo Ciancia
author_sort Vincenzo Ciancia
title Interaction and observation, categorically
title_short Interaction and observation, categorically
title_full Interaction and observation, categorically
title_fullStr Interaction and observation, categorically
title_full_unstemmed Interaction and observation, categorically
title_sort interaction and observation, categorically
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2011-07-01
description This paper proposes to use dialgebras to specify the semantics of interactive systems in a natural way. Dialgebras are a conservative extension of coalgebras. In this categorical model, from the point of view that we provide, the notions of observation and interaction are separate features. This is useful, for example, in the specification of process equivalences, which are obtained as kernels of the homomorphisms of dialgebras. As an example we present the asynchronous semantics of the CCS.
url http://arxiv.org/pdf/1108.0464v1
work_keys_str_mv AT vincenzociancia interactionandobservationcategorically
_version_ 1725511830065905664

Similar Items