Non-interference for concurrent programs and thread systems. (2002)

by G Boudol, I Castellani
Venue:Theoretical Computer Science,