1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2022★ 1 cited
Correctness of Broadcast via Multicast: Graphically and Formally
Wolfgang Jeltsch, Javier Díaz
Maintaining data consistency among multiple parties requires nodes to repeatedly send data to all other nodes. For example, the nodes of a blockchain network have to disseminate th…
cs.PL2019
A Process Calculus for Formally Verifying Blockchain Consensus Protocols
Wolfgang Jeltsch
Blockchains are becoming increasingly relevant in a variety of fields, such as finance, logistics, and real estate. The fundamental task of a blockchain system is to establish data…