Parallel complexity analysis with temporal session types
- 期刊名称Proceedings of the ACM on Programming Languages
- 作者Das, Ankush; Hoffmann, Jan; Pfenning, Frank
- 卷第2卷
- 电子ISSN2475-1421
- 文件大小428.24KB
- 发表时间2018-07-30
- DOI10.1145/3236786
- 页码1-30
同期刊推荐
Arctic Science / Science arctiqueDancik, Bruce · Arctic Science · 2015
Announcement / CommuniquéArctic Science · 2016
PrefaceArctic Science · 2017
Finnish botanists and mycologists in the ArcticVäre, Henry · Arctic Science · 2017
Collectively, we need to accelerate Arctic specimen samplingWinker, Kevin; Withrow, Jack · Arctic Science · 2017
Biodiversity databases in Russia: towards a national portalIvanova, Natalya V.; Shashkov, Maxim P. · Arctic Science · 2017
Snow cover variability at Polar Bear Pass, NunavutYoung, Kathy L.; Brown, Laura; Labine, Claude · Arctic Science · 2018
Oxygen depletion in subarctic peatland thaw lakesDeshpande, Bethany N.; Maps, Frédéric; Matveev, Alex; Vincent, Warwick F. · Arctic Science · 2017