3 papers
cs.DS2020
A Framework for Consistency Algorithms
Peter Chini, Prakash Saivasan
We present a framework that provides deterministic consistency algorithms for given memory models. Such an algorithm checks whether the executions of a shared-memory concurrent pro…
cs.FL2019
Complexity of Liveness in Parameterized Systems
Peter Chini, Roland Meyer, Prakash Saivasan
We investigate the fine-grained complexity of liveness verification for leader contributor systems. These consist of a designated leader thread and an arbitrary number of identical…
cs.FL2019
Liveness in Broadcast Networks
Peter Chini, Roland Meyer, Prakash Saivasan
We study liveness and model checking problems for broadcast networks, a system model of identical clients communicating via message passing. The first problem that we consider is L…