Naoki Kobayashi

• Automata, Languages, and Programming
• Concurrent Objects and Beyond
• Theoretical Aspects of Computer Software
• Foundations of Software Science and Computation Structures
• Programming Languages and Systems