Antonín Kučera

• Taming the Infinities of Concurrency