Antonín Kucera

• CONCUR 2002-concurrency theory
• Mathematical Foundations of Computer Science 2007
• CONCUR 2002 - Concurrency Theory
• Mathematical Foundations of Computer Science 2007