Simplified method for establishing determinacy in a directed-graph control structure
F.G. Heath · Electronics Letters · 1975
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.