1. A method of processing a dataflow program by a program development tool, wherein the dataflow program comprises one or more actors, each actor comprising one or more actions, the method comprising: the program development tool performing: retrieving stored dataflow program instructions from a memory; analyzing an actor defined by the retrieved dataflow program instructions to identify one or more original sequences of one or more actions that can be reformulated to achieve greater execution parallelism while maintaining a same functionality as the original sequences; and producing a processed dataflow program by producing processed dataflow program instructions and decision point program instructions, wherein: the processed dataflow program instructions comprise alternative sequences of reformulated actions that achieve greater execution parallelism while maintaining the same functionality as the identified one or more original sequences; and the decision point program instructions, when executed by one or more processors, cause the one or more processors to select and execute one or more of the alternative sequences of reformulated actions, wherein selecting the one or more of the alternative sequences of reformulated actions is based on state and token information in existence at the time of selection.