1 citations · 3 across the 7 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
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…