1 - 25 of 3
Number of results to display per page
TitleDateType
1 On proving the correctness of data type implementations1980Text
2 On the decidability of shared memory consistency verification2005-03-15Text
3 Parallel path consistency1991Text
1 - 25 of 3