Diamonds are not forever: Liveness in reactive programming with guarded recursion

被引：0

|

作者：

Bahr, Patrick ^{[1
]}

Graulund, Christian Uldal ^{[1
]}

Møgelberg, Rasmus Ejlers ^{[1
]}

机构：

[1] IT University of Copenhagen, Denmark

来源：

Proceedings of the ACM on Programming Languages | 2021年 / 5卷 / POPL期

关键词：

37;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[31] A Model of Guarded Recursion With Clock Synchronisation
Bizjak, Ales
Mogelberg, Rasmus Ejlers
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2015, 319 : 83 - 101
[32] Diamonds are forever: the cortisone legacy
Hillier, Stephen G.
JOURNAL OF ENDOCRINOLOGY, 2007, 195 (01) : 1 - 6
[33] Diamonds aren't forever
Walt, Vivenne
FORTUNE, 2006, 154 (12) : 86 - +
[34] Diamonds aren't forever
不详
NEW SCIENTIST, 1999, 162 (2180) : 7 - 7
[35] 'DIAMONDS ARE FOREVER' - HAMILTON,G
MACNAB, G
SIGHT AND SOUND, 1996, 6 (01): : 62 - 62
[36] Materials - Synthetic diamonds are forever ...
不详
CHEMISTRY & INDUSTRY, 2001, (11) : 330 - 330
[37] DIAMONDS ARE FOREVER - SOMMERS,PM
FLEISHER, AA
PUBLIC CHOICE, 1994, 80 (3-4) : 412 - 415
[38] Diamonds are forever for sealing solutions
Brauer, H.P., 2013, Elsevier Ltd (2013)
[39] How Old Are Diamonds? Are They Forever?
Smit, Karen V.
Shirey, Steven B.
GEMS & GEMOLOGY, 2019, 55 (01): : 102 - 109
[40] Diamonds aren't forever
Shilling, AG
FORBES, 2000, 166 (08): : 266 - 266

← 1 2 3 4 5 →