On the power of bounded concurrency I (Q4305671)
From MaRDI portal
scientific article; zbMATH DE number 639182
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the power of bounded concurrency I |
scientific article; zbMATH DE number 639182 |
Statements
On the power of bounded concurrency I (English)
0 references
13 October 1994
0 references
omega-automata
0 references
statecharts
0 references
succinctness
0 references
bounded cooperative concurrency
0 references
Petri nets
0 references
deterministic concurrent automata
0 references
