9 ms·Non-determinism, a key property of concurrent systems, doesn't generalise well to logic.by mafribe 10y agoNon-determinism, a key property of concurrent systems, doesn't generalise well to logic.