4 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.LO2023
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…
cs.PL2022
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…
cs.PL2014★ 4 cited
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…