Jeremiah Griffin

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 2

Top Topics

Concurrent Systems

Verification Method

Top Venues

Proc. ACM Program. Lang.

Publications

Jeremiah Griffin, Mohsen Lesani, Narges Shadab, Xizhe Yin
TLC: temporal logic of distributed components. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Jeremiah Griffin, Mohsen Lesani, Narges Shadab, Xizhe Yin
Temporal Logic of Composable Distributed Components. CoRR (2020)