Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms (Q2453112): Difference between revisions

@@ Property / author @@
-Pedro R. D'Argenio
@@ Property / author: Pedro R. D'Argenio / rank @@
-Normal rank
@@ Property / author @@
+Pedro R. D'Argenio
@@ Property / author: Pedro R. D'Argenio / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LiQuor
@@ Property / describes a project that uses: LiQuor / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2013.07.017
+Normal rank
@@ Property / OpenAlex ID @@
+W2022019677
@@ Property / OpenAlex ID: W2022019677 / rank @@
+Normal rank
@@ Property / cites work @@
+Information hiding in probabilistic concurrent systems
+Normal rank
@@ Property / cites work @@
+Secure information flow by self-composition
@@ Property / cites work: Secure information flow by self-composition / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for analyzing probabilistic protocols and its application to the partial secrets exchange
+Normal rank
@@ Property / cites work @@
+The dining cryptographers problem: Unconditional sender and recipient untraceability
+Normal rank
@@ Property / cites work @@
+Switched PIOA: parallel composition via distributed scheduling
+Normal rank
@@ Property / cites work @@
+Q4791844
@@ Property / cites work: Q4791844 / rank @@
+Normal rank
@@ Property / cites work @@
+Retaining the Probabilities in Probabilistic Testing Theory
+Normal rank
@@ Property / cites work @@
+Quantitative Model Checking Revisited: Neither Decidable Nor Approximable
+Normal rank
@@ Property / cites work @@
+Undecidability Results for Distributed Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers
+Normal rank
@@ Property / cites work @@
+Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements
+Normal rank
@@ Property / cites work @@
+Reactive, generative, and stratified models of probabilistic processes
+Normal rank
@@ Property / cites work @@
+On the undecidability of probabilistic planning and related stochastic optimization problems
+Normal rank
@@ Property / cites work @@
+Composition and behaviors of probabilistic I/O automata
+Normal rank