tokens: The computation step is completed when a thread actor runs a time slice by popping its semantic stack and performing a semantic operation as a function of its environment and the single - assignment store ( dataflow memory ) , thereby satisfying the OCM definition of a full computation step : ( ST MST , ) ( ST MST , ) .