Dynamic access control in a concurrent object calculus (2006)

by A Chaudhuri
Venue:In Proc. International Conference on Concurrency Theory (CONCUR’06