The formalisms for nondeterminism are over half a century old now. This is fundamentally a solved problem, although the typical case analysis technique many pro

The formalisms for nondeterminism are over half a century old now. This is fundamentally a solved problem, although the typical case analysis technique many programmers tend to prefer falls down hard. Incidentally that’s why unix signals suck.