Markovian models; Non-Interference; Process Algebra; Human-Computer Interaction; Computer Networks and Communications; 1707; Software

Delimited persistent stochastic non-interference