PSNI: Delimited persistent stochastic non-interference

Andrea Marin, Carla Piazza, Sabina Rossi. PSNI: Delimited persistent stochastic non-interference. Theoretical Computer Science, 884:116-135, 2021. [doi]

Abstract

Abstract is missing.