Archived tweet #11368 from the @leastfixedpoint Twitter Archive

@bahstgwamt @dyokomizo @coreload @lukego @littlecalculist @sperbsen @LecheDeAlmendra pi-calculus itself isn't a good fit for this kind of thing. No boundaries. Ambients, though, could be a good starting point! Built-in notion of boundary. With ambients, you'd probably pick a boundary (= an ambient) to record I/Os across, and determinize inside the boundary.