1-2 of 2 Books
Compositional verification of concurrent and real-time systems
By Eric Y. T. Juan,Eric Y.T. Juan,Jeffrey J.P. Tsai
Scalable Shared Memory Multiprocessors
By