1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Tangliu Wen
Lipton's reduction theory provides an intuitive and simple way for deducing the non-interference properties of concurrent programs, but it is difficult to directly apply the techni…