activity
20102023
most citedFormal Verification of Multi-Paxos for Distributed Consensus

43 citations · 157 across the 25 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.LO2021

Proceedings 37th International Conference on Logic Programming (Technical Communications)

Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts +7

ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2021 were sought in all areas of logic programming, including but not li…