Model of Apache BookKeeper for Runway
This is a model of BookKeeper for
Runway. It includes a
.model file describing the state and how it changes, as well as a .js file
which can be used with
runway-browser to produce an
interactive visualization.