Asynchronous cellular automata for pomsets (Q1583242)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Asynchronous cellular automata for pomsets |
scientific article |
Statements
Asynchronous cellular automata for pomsets (English)
0 references
26 October 2000
0 references
Automata theory
0 references
monadic second-order logic
0 references
concurrency
0 references
partial orders
0 references
