Formal semantics of nondeterminism and parallelism (0)

by J K KENNAWAY