1. A computer-implemented method, comprising: utilizing a computing system to perform: receiving a program, wherein the program specifies a plurality of operations using a variable within a logical tick such that the variable has multiple values within the logical tick; statically analyzing the program according to a specified model of computation that specifies program execution based on logical ticks, wherein said statically analyzing the program includes: determining that the program has deterministic semantics, wherein the deterministic semantics specify deterministic results for each logical tick during execution of the program, including specifying deterministic results of the plurality of operations performed within the logical tick; wherein the deterministic semantics is based on, within a given logical tick: a scheduling of operations that are sequential with respect to each other as specified by the program according to the specified sequence; and a scheduling of operations that are concurrent with each other such that assignments to a variable are performed before reads of the variable, including scheduling the assignment operations to the variable that are concurrent with each other such that a first assignment operation is scheduled before one or more other assignment operations, wherein the order of the one or more other assignment operations does not influence a final result of the variable for the logical tick; and validating the program in accordance with the specified model of computation in response to said determining.