Matrices, machines and behaviors (Q2563761): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| (One intermediate revision by one other user not shown) | |||
| Property / cites work | |||
| Property / cites work: Equational axioms for regular sets / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5287508 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Matrix and matricial iteration theories. I / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4091917 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: An imperative language based on distributive categories II / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Categories and Computer Science / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/bf00122683 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2079677011 / rank | |||
Normal rank | |||
Latest revision as of 08:38, 30 July 2024
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
