Noninterference for concurrent programs and thread systems (0)

by G Boudol, I Castellani
Venue:Theoretical Computer Science