Controlling interference in ambients (2003)

by F Levi, D Sangiorgi
Venue:Transactions on Programming Languages and Systems