Simplified method for establishing determinacy in a directed-graph control structure
The only analytical method so far proposed for establishing determinacy in a model for parallel computation is due to Karp and Miller. It involves growing a tree of every machine state, which is typically very large and needs much computation. The letter describes a very much simpler method suitable for nonpipelined hardware.