Anne Dinning Bücher

This book provides a comprehensive guide to detecting nondeterminism in shared memory parallel programs. It includes detailed explanations and case studies to help readers understand the complex concepts involved.