A Fully Abstract Encoding of the <i>pi</i>-Calculus with Data Terms.

Michael Baldamus Joachim Parrow Björn Victor A Fully Abstract Encoding of the <i>pi</i>-Calculus with Data Terms. 1202-1213 2005 conf/icalp/2005 ICALP http://dx.doi.org/10.1007/11523468_97 db/conf/icalp/icalp2005.html#BaldamusPV05