A Simple View of Type-Secure Information Flow in the p-Calculus.

François Pottier A Simple View of Type-Secure Information Flow in the p-Calculus. 320-330 2002 conf/csfw/2002 CSFW https://doi.org/10.1109/CSFW.2002.1021826 https://doi.ieeecomputersociety.org/10.1109/CSFW.2002.1021826 db/conf/csfw/csfw2002.html#Pottier02