"A Theory for Nondeterminism, Parallelism, Communication, and Concurrency."

Manfred Broy (1986)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics