Archived tweet #11362 from the @leastfixedpoint Twitter Archive

@dyokomizo @bahstgwamt @coreload @lukego @littlecalculist @sperbsen Most pi-like calculi are non-deterministic: x!1 | x(v)?P | x!2 may reduce to either x!1 | P{1/v} or P{2/v} | x!2. Nondeterminism is what you want for an I/O system, though: the outside world is inherently unpredictable, and the language ought to reflect that to its users!