1 paper
Jörg Endrullis, Ievgen Ivanov, Femke van Raamsdonk
Confluence is a fundamental property of nondeterministic computations, arising from parallelism, concurrency, or freedom in the evaluation order. It guarantees that such a computat…