Archived tweet #11365 from the @leastfixedpoint Twitter Archive

@bahstgwamt @dyokomizo @coreload @lukego @littlecalculist @sperbsen (You're Out Of Luck if you want to record the entire system state, too: in pi-calculus, this is analogous to the *universe*. The most you can aspire to is some subset of the system state. Cardelli and Gordon's "ambient" calculi are fascinating wrt this line of thinking.)