Controlling Interference in Ambients (0)

by F Levi, D Sangiorgi
Venue:Principles of Programming Languages