85 citations · 87 across the 2 of their papers we have counts for
1 paper · 1 filter
Silvio Ghilardi, Elena Pagani
Quite often, verification tasks for distributed systems are accomplished via counter abstractions. Such abstractions can sometimes be justified via simulations and bisimulations. I…