Andrea Marin

Delimited persistent stochastic non-interference
Information Flow Security for Stochastic Processes
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses

Published with Wowchemy — the free, open source website builder that empowers creators.