P.G. Spirakis

• Automata, Languages and Programming
• Distributed algorithms