Typing noninterference for reactive programs’, The (2007)

by Almeida Matos, A Boudol, G, I Castellani
Venue:Journal of Logic and Algebraic Programming 72(2), 124–156. Special Issue on Programming Language Interference and Dependence