| The Casper interface |
|
|
|
| n | Casper
is essentially a compiler |
|
| protocol |
|
|
|
| Language similar to the |
||
| one
used to describe |
||
| the protocols seen so far |
||
|
|
| Written
in the functional |
|
| Programming language Haskell |
|
| Casper |
| system |
| CSP
code |
| intruder |
