Controlling interference in ambients. To appear as a Technical Report. Short version appeared (2000)

by F Levi, D Sangiorgi
Venue:in Proc. 27th POPL, ACM