Mengqi Liu 0001, Zhong Shao, Hao Chen 0023, Man-Ki Yoon, Jung-Eun Kim. Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation. Proceedings of the ACM on Programming Languages, 6(OOPSLA2):60-88, 2022. [doi]
Abstract is missing.