Title: Reasoning about parallel architectures
Subjects: Computer architecture, Parallel computers