Automata and Behaviours in Categories of Processes (1996)
| Citations: | 2 - 2 self |
BibTeX
@TECHREPORT{Jacobs96automataand,
author = {B. P. F. Jacobs and Issn -x and Bart Jacobs},
title = {Automata and Behaviours in Categories of Processes},
institution = {},
year = {1996}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
An early result of Goguen [4, 5] describes the fundamental adjunction between categories of deterministic automata and their behaviours. Our first step is to redefine (morphisms in) these categories of automata and behaviours so that a restriction in Goguen's approach can be avoided. Subsequently we give a coalgebraic analysis of this behaviour-realization adjunction; it yields a second generalization to other types of (not only deterministic) automata (and their behaviours). We further show that our (redefined) categories of automata and behaviours support elementary process combinators like renaming, restriction, parallel composition, replication and feedback (some of which also occur, for example, in the -calculus). One of the main contributions is that replication !P is defined for an automaton P such that !P is the terminal coalgebra !P = ! Pk!P of the functor Pk(\Gamma) "compose with P ". The behaviour functor from automata to their behaviours preserves these process combinato...
