No label defined (Q5750406)
From MaRDI portal
scientific article; zbMATH DE number 4185038
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 4185038 |
Statements
1989
0 references
finite transition systems
0 references
non-deterministic finite automata
0 references
concurrent processes
0 references
\(\omega \) -regular language
0 references
fairness
0 references
