Information Flow vs. Resource Access in the Asynchronous Pi-Calculus.

Matthew Hennessy, James Riely

Browse the full ICALP paper archive.