Manuscript IX-D-ST@1 · IX-D-ST.tex · section · b1dc631a
Clock and description register
Shared finite Enter certificate interface › Clock and description register · lines 2295–2300
A nontrivial stochastic certificate clock is therefore a programme/history calibration unless an additional time-observable contract is given.