Title: On the expressive power of unbounded-nondeterministic abstract state machines
First published: 2006
Subjects: Machine theory
LC classification: QA267 .G48 2006