Temporal Logic of Composable Distributed Components. - Jeremiah Griffin; Mohsen Lesani; Narges Shadab; Xizhe Yin (CoRR, 2020)

TLC: temporal logic of distributed components. - Jeremiah Griffin; Mohsen Lesani; Narges Shadab; Xizhe Yin (Proc. ACM Program. Lang., 2020)