4 citations · 5 across the 4 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
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.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…
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…