Title: Taming the Infinities of Concurrency