Persistent Stochastic Non-Interference (Q5158656): Difference between revisions

@@ Property / cites work @@
+Q4798029
@@ Property / cites work: Q4798029 / rank @@
+Normal rank
@@ Property / cites work @@
+On the relations between Markov chain lumpability and reversibility
+Normal rank
@@ Property / cites work @@
+Q3999188
@@ Property / cites work: Q3999188 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Unwinding Possibilistic Security Properties
@@ Property / cites work: Unwinding Possibilistic Security Properties / rank @@
+Normal rank
@@ Property / cites work @@
+The Applied Pi Calculus
@@ Property / cites work: The Applied Pi Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754157
@@ Property / cites work: Q2754157 / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling information release in the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Q2754161
@@ Property / cites work: Q2754161 / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof System for Information Flow Security
@@ Property / cites work: A Proof System for Information Flow Security / rank @@
+Normal rank
@@ Property / cites work @@
+A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
+Normal rank
@@ Property / cites work @@
+Q4417888
@@ Property / cites work: Q4417888 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414391
@@ Property / cites work: Q4414391 / rank @@
+Normal rank
@@ Property / cites work @@
+Unwinding biological systems
@@ Property / cites work: Unwinding biological systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Approach to Performance Modelling
@@ Property / cites work: A Compositional Approach to Performance Modelling / rank @@
+Normal rank
@@ Property / cites work @@
+Finite representations of CCS and TCSP programs by automata and Petri nets
+Normal rank
@@ Property / cites work @@
+Comparative branching-time semantics for Markov chains
+Normal rank
@@ Property / cites work @@
+A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
+Normal rank
@@ Property / cites work @@
+On the semantics of Markov automata
@@ Property / cites work: On the semantics of Markov automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying persistent security properties
@@ Property / cites work: Verifying persistent security properties / rank @@
+Normal rank
@@ Property / cites work @@
+Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses
+Normal rank
@@ Property / cites work @@
+Simple O(m logn) Time Markov Chain Lumping
@@ Property / cites work: Simple O(m logn) Time Markov Chain Lumping / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilarity Minimization in O(m logn) Time
@@ Property / cites work: Bisimilarity Minimization in O(m logn) Time / rank @@
+Normal rank
@@ Property / cites work @@
+Q3262596
@@ Property / cites work: Q3262596 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.3233/fi-2021-2049
+Normal rank
@@ Property / OpenAlex ID @@
+W3178515540
@@ Property / OpenAlex ID: W3178515540 / rank @@
+Normal rank