Stefan Kiefer

Foundations of Software Science and Computation Structures
Taming the Infinities of Concurrency