Takahiro Koh, Yuichi Goto and Jingde Cheng
Fast Anticipatory Reasoning for Computing Anticipatory Systems
Yuichi Goto, Takumi Endo and Jingde Cheng
Continuous Reactability of Persistent Computing Systems