Skip to main content Link Menu Expand (external link) Document Search Copy Copied

Let’s tame some concurrent systems!

Since the 1980s, computer scientists have been trying to make concurrent and distributed systems dependable with the magical help of math.

This website is maintained by members of the IFIP-WG 1.8 “Concurrency Theory” to improve everyone’s overview of what has been going ond and where the next TRENDS in Concurrency Theory might take us.