52

Analysis of recursively parallel programs

Year:
2012
Language:
english
File:
PDF, 748 KB
english, 2012
53

Tractable Refinement Checking for Concurrent Objects

Year:
2015
Language:
english
File:
PDF, 986 KB
english, 2015
57

Parameterized verification of transactional memories

Year:
2010
Language:
english
File:
PDF, 539 KB
english, 2010
61

On reducing linearizability to state reachability

Year:
2018
Language:
english
File:
PDF, 517 KB
english, 2018