Papers & Presentations
Atoms frequently share what they know in journals, at conferences, and in classrooms.
Communicating Sequential Processes
Presented by
Presented at
Additional Presentations:
Written in
SoftwareGR
|
September 2015
The time has come to think concurrently. Traditional software concurrency management leads to non-deterministic race conditions and deadlocks that are hard to reproduce and debug, leading to unreliable software. That means it's time to introduce math. Tony Hoare's paradigm of communicating sequential processes, or CSP, is not only a robust way to manage concurrency, but it's fun too! Join us to learn more about how CSP in the Go programming language allows us to reason more clearly about many things happening at once.
