Eric Shull

Programming Talks tagged with: "Eric Shull"

Eric Shull: Communicating Sequential Processes (September 22, 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 ...