Muller condition and fairness on multitransition systems (Q3092477)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Muller condition and fairness on multitransition systems |
scientific article |
Statements
Muller condition and fairness on multitransition systems (English)
0 references
16 September 2011
0 references
multitransition systems
0 references
regular SCCS processes
0 references
fair computations
0 references
\(\epsilon\)-free \(\omega\)-regular \(N\)-languages
0 references
Muller acceptance condition
0 references
