Formalism in computer system design--models of parallelism and concurrency, Book Discussion
Formalism in computer system design--models of parallelism and concurrency, (University of Newcastle upon Tyne. Computing Laboratory. Technical report series, no. 1)
by
