48 citations · 124 across the 18 of their papers we have counts for
1 paper · 1 filter
Jane Hillston, Carla Piazza, Sabina Rossi
In this paper we present an information flow security property for stochastic, cooperating, processes expressed as terms of the Performance Evaluation Process Algebra (PEPA). We in…