research
∙
08/21/2023
Proofs about Network Communication: For Humans and Machines
Many concurrent and distributed systems are safety-critical and therefor...
share
research
∙
09/20/2022
Correctness of Broadcast via Multicast: Graphically and Formally
Maintaining data consistency among multiple parties requires nodes to re...
research
∙
08/24/2022
