Jeremiah Griffin

According to our database, Jeremiah Griffin authored at least 2 papers in 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

TLC: temporal logic of distributed components.

Jeremiah Griffin, Mohsen Lesani, Narges Shadab, Xizhe Yin

Proc. ACM Program. Lang., 2020

Temporal Logic of Composable Distributed Components.

Jeremiah Griffin, Mohsen Lesani, Narges Shadab, Xizhe Yin

CoRR, 2020