Delimited persistent stochastic non-interference

Related