Compositional Reasoning for Shared-Variable Concurrent Programs.

Fuyuan Zhang, Yongwang Zhao, David Sann, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun

Browse the full FM paper archive.