中科大-耶鲁 高可信软件联合研究中心

Parallel Programming Language with Shared Resource Specification