Theory
Theory
A formal, self-contained model of the KICK operator: state, observation, freshness, gating, the reconcile transition system, and the safety and liveness properties it maintains.
Last updated on
A formal, self-contained model of the KICK operator: state, observation, freshness, gating, the reconcile transition system, and the safety and liveness properties it maintains.