Information vs resource access (2000)

by M Hennessy, J Riely
Venue:in the asynchronous pi-calculus, ICALP00, LNCS 1853