![](/img/cover-not-exists.png)
[ACM Press the 20th ACM SIGPLAN Symposium - San Francisco, CA, USA (2015.02.07-2015.02.11)] Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP 2015 - The lazy happens-before relation: better partial-order reduction for systematic concurrency testing
Thomson, Paul, Donaldson, Alastair F.Year:
2015
Language:
english
DOI:
10.1145/2688500.2688533
File:
PDF, 516 KB
english, 2015