zbMath0577.68073MaRDI QIDQ3698325
Nissim Francez, Sara Porat
Publication date: 1985
zbMATH Keywords
nondeterminismfair terminationinfinite derivationsfair derivationschoice-strategyvariable-doubling
Mathematics Subject Classification ID
Formal languages and automata (68Q45)
Related Items