This work unifies insights from the systems and functional programming communities, in order to enable compositional reasoning about software which is nonetheless efficiently realizable in …
At present, there are many blockchains, each competing with the others to gain market share and dominance. It is expected that multiple blockchains will continue …
Combinatorial and algebraic topology have both provided useful mathematical tools to the field of distributed computing, giving researchers a rigorous mathematical model in which one …
Futures are an attractive way to structure parallel computations. When a thread creates an expression with a keyword future, a new thread is spawned to …
Decentralized finance (or DeFi) has become a booming area of applied distributed computing. Over the course of the last several years, many mechanisms and distributed …
