Noninterference for concurrent programs and thread systems
BoudolGérard, CastellaniIlaria · Theoretical Computer Science · 2002
We propose a type system to ensure the property of noninterference in a system of concurrent programs, described in a standard imperative language enriched with parallelism. Our proposal is in the ...