Wiring the Pi-calculus to Denotational Semantics

Ken Sakayori, Davide Sangiorgi, Simon Castellan +1

We introduce a dialect of the Asynchronous pi-calculus, called AWpi, in which (1) an input name may be owned, at any time, by at most one process; (2) each name has either only the…