4 citations · 5 across the 4 of their papers we have counts for
5 papers
Proofs about Network Communication: For Humans and Machines
Wolfgang Jeltsch, Javier Díaz
Many concurrent and distributed systems are safety-critical and therefore have to provide a high degree of assurance. Important properties of such systems are frequently proved on…
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…
Your Blockchain Needn't Care How the Message is Spread
Wolfgang Jeltsch, Javier Díaz
In a blockchain system, nodes regularly distribute data to other nodes. The ideal perspective taken in the scientific literature is that data is broadcast to all nodes directly, wh…
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…
Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion
Wolfgang Jeltsch
Functional reactive programming (FRP) makes it possible to express temporal aspects of computations in a declarative way. Recently we developed two kinds of categorical models of F…