An Improved Full Abstraction Approach to Analyzing Locality Semantics.

Jianxin Xue, Huan Long, Guoqiang Li

Browse the full TASE paper archive.