CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Information Flow Security for Stochastic Processes
Jane Hillston
,
Andrea Marin
,
Carla Piazza
,
Sabina Rossi
2018-01-01
Cite
DOI
URL
Type
Conference paper
Publication
15th European Performance Engineering Workshop
Theoretical Computer Science; Computer Science (all)
Related
Loose Graph Simulations
The expressive power of structural operational semantics with explicit assumptions
Preface
Delimited persistent stochastic non-interference
Persistent stochastic non-interference
Cite
×