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

by Manfred Broy
Venue:TCS