Communicating Sequential Processes (Programming Language)

Programming Talks tagged with: "Communicating Sequential Processes (Programming Language)"

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 ...