A. Glausch

• Distributed abstract state machines and their expressive power
• On the expressive power of unbounded-nondeterministic abstract state machines