Interaction and observation, categorically
| Authors |
|
|---|---|
| Publication date | 2 August 2011 |
| Journal | Electronic Proceedings in Theoretical Computer Science |
| Event | 4th Interaction and Concurrency Experience Workshop |
| Volume | Issue number | 59 |
| Pages (from-to) | 25-36 |
| Organisations |
|
| Abstract | 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. |
| Document type | Article |
| Note |
In: Proceedings Fourth Interaction and Concurrency Experience : Reykjavik, Iceland, 9th June 2011. Edited by: Alexandra Silva, Simon Bliudze, Roberto Bruni and Marco Carbone. |
| Language | English |
| Published at |
https://doi.org/10.4204/EPTCS.59.3
(Final published version)
|
| Other links | |
| Downloads |
1108.0464v1
(Final published version)
|
| Permalink to this page | |