Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi. Delimited Persistent Stochastic Non-Interference. In Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2019, Universitat de les Illes Balears, Palma de Mallorca, Spain, March 12-15, 2019. pages 135-142, ACM, 2019. [doi]
Abstract is missing.