The semantics of SR are defined as the least fixed point of the system, meaning the least-defined set of values on the communication channels that is consistent with all the stars' functions. That is, if any star were evaluated, it will not want to change its output---the value is already correct. The monotonicity constraint on the stars ensures that there is always exactly one least-defined set, and this is what the SR schedulers calculate.

There are two schedulers for the SR domain, default-SR and dynamic-SR. The dynamic scheduler is the easiest to understand. In each instant, it first initializes all the communication channels to "undefined" and then executes all the stars in the system until none of them try to change their outputs. The default scheduler is more shrewd. It uses the communication structure of the system to determine an execution order for the stars that will make them converge. This is based on a topological sort of the stars, but is made more complicated when there are feedback loops.