Temporal Logic of Composable Distributed Components

Jeremiah Griffin, Mohsen Lesani, Narges Shadab +1

Distributed systems are critical to reliable and scalable computing; however, they are complicated in nature and prone to bugs. To modularly manage this complexity, network middlew…