Matthew Hennessy James Riely Information Flow vs. Resource Access in the Asynchronous Pi-Calculus. 415-427 http://dx.doi.org/10.1007/3-540-45022-X_35 2000 conf/icalp/2000 ICALP db/conf/icalp/icalp2000.html#HennessyR00