A. Marin

Latest

• D_PSNI: Delimited persistent stochastic non-interference
• Persistent Stochastic Non-Interference
• Proportional lumpability and proportional bisimilarity
• A process algebra for (delimited) persistent stochastic non-interference
• Proportional Lumpability
• Contextual Lumpability