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
Your Blockchain Needn't Care How the Message is Spread
In a blockchain system, nodes regularly distribute data to other nodes. ...
research
∙
11/19/2019
