Noninterference for concurrent programs and thread systems (2002)

by G Boudol, i CastellanI
Venue:Theoretical Computer Science