Wiring the π-Calculus to Denotational Semantics.

Ken Sakayori, Davide Sangiorgi, Simon Castellan, Pierre Clairambault

Browse the full LICS paper archive.