USTC-Yale Joint Research Center for High-Confidence Software

Parallel Programming Language with Shared Resource Specification