CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Persistent stochastic non-interference
Jane Hillston
,
Carla Piazza
,
Sabina Rossi
2018-01-01
Cite
DOI
URL
Type
Conference paper
Publication
Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018
Software
Related
From entity relationship to XML Schema: A graph-theoretic approach (extended abstract)
Persistent Stochastic Non-Interference
Delimited persistent stochastic non-interference
Information Flow Security for Stochastic Processes
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses
Cite
×