Open AccessThe lazy happens-before relation: better partial-order reduction for systematic concurrency testing
Author(s) -
Paul Thomson,
Alastair F. Donaldson
Publication year - 2015
Publication title -
acm sigplan notices
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.31
H-Index - 99
eISSN - 1558-1160
pISSN - 0362-1340
DOI - 10.1145/2858788.2688533
Subject(s) - computer science , semaphore , concurrency , reduction (mathematics) , partial order reduction , relation (database) , lazy evaluation , schedule , programming language , set (abstract data type) , equivalence relation , java , theoretical computer science , functional programming , operating system , mathematics , discrete mathematics , model checking , database , geometry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom