Controlling Interference in Ambients.

Francesca Levi, Davide Sangiorgi

Browse the full POPL paper archive.