Towards a practical secure concurrent language.

Stefan K. Muller, Stephen Chong

Browse the full OOPSLA paper archive.