A theory for nondeterminism, parallelism, communication, and concurrency (1986)

by Manfred Broy
Venue:Theoretical Computer Science, 45:1 – 61