Matrices, machines and behaviors (Q2563761)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Matrices, machines and behaviors |
scientific article |
Statements
Matrices, machines and behaviors (English)
0 references
9 April 1997
0 references
The paper presents an interesting relation between Elgot's iteration theories [see \textit{S. Bloom} and \textit{Z. Ésik}, ``Iteration theories: The equational logic of iterative processes'', Berlin: Springer (1993; Zbl 0773.03033)] and the categorical machine-based theory of concurrency [cf. \textit{R. F. C. Walters}, ``Categories and computer science'', Cambridge: University Press (1991; Zbl 0789.18001)].
0 references
semantic category
0 references
bicategory
0 references
finite state automaton
0 references
iteration theories
0 references
concurrency
0 references
