A process algebra for (delimited) persistent stochastic non-interference

A. Marin, Carla Piazza, S. Rossi
2019-01-01
Cite DOI URL
Type
Conference paper
Publication
16th International Conference on Quantitative Evaluation of Systems, QEST 2019

Related