Theoretical Foundations

of

Nondeterminism, Concurrency and Communication