Noninterference for concurrent programs. (2001)

by Boudol, Castellani
Venue:In Proc. ICALP’01, volume 2076 of LNCS.