Lecture 5
2
The Casper interface
nCasper
is essentially a compiler
protocol
CSP
code
Casper
Language
similar to the
one used to
describe
the protocols
seen so far
Written in the
functional
Programming
language Haskell