高技术通讯（英文版）2026，Vol.32Issue(2)：148-155,8.DOI:10.3772/j.issn.1006-6748.2026.02.004
A parallel calculus with distributed futures
A parallel calculus with distributed futures
摘要
关键词
formal semantics/distributed programming/distributed futureKey words
formal semantics/distributed programming/distributed future引用本文复制引用
雷正宇..A parallel calculus with distributed futures[J].高技术通讯（英文版）,2026,32(2):148-155,8.基金项目
Supported by the National Natural Science Foundation of China Joint Fund Project(No.U24B6012)and the Innovation Project of the Institute of Computing Technology,Chinese Academy of Sciences(No.E461040). （No.U24B6012）
