73 citations · 149 across the 21 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 2 cited
Counter Simulations via Higher Order Quantifier Elimination: a preliminary report
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…
math.LO2017★ 3 cited
Existentially Closed Brouwerian Semilattices
Luca Carai, Silvio Ghilardi
The variety of Brouwerian semilattices is amalgamable and locally finite, hence by well-known results due to W. H. Wheeler, it has a model completion (whose models are the existent…