TY  - RPRT
TI  - Persistent Stochastic Non-Interference
AU  - Jane Hillston
AU  - Carla Piazza
AU  - Sabina Rossi
PY  - 2018
DO  - 10.4204/eptcs.276.6
UR  - https://arxiv.org/abs/1808.08650
ID  - 1808.08650
ER  -