Foundation for Deterministic Computing