Overview
Speedrun the basic concepts
Where does this fit in larger research project?
Stochastic clocks
Non-deterministic clocks
Future work