A process algebra for (delimited) persistent stochastic non-interference