Sciweavers

6 search results - page 2 / 2
» Verifying Generalized Soundness of Workflow Nets
Sort
View
PPOPP
2010
ACM
14 years 2 months ago
GAMBIT: effective unit testing for concurrency libraries
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
Katherine E. Coons, Sebastian Burckhardt, Madanlal...