Task-structured probabilistic I/O automata (Q1745718): Difference between revisions

@@ Property / cites work @@
+Fast randomized consensus using shared memory
@@ Property / cites work: Fast randomized consensus using shared memory / rank @@
+Normal rank
@@ Property / cites work @@
+Randomized protocols for asynchronous consensus
@@ Property / cites work: Randomized protocols for asynchronous consensus / rank @@
+Normal rank
@@ Property / cites work @@
+Secure multiparty protocols and zero-knowledge proof systems tolerating a faulty minority
+Normal rank
@@ Property / cites work @@
+Q5137353
@@ Property / cites work: Q5137353 / rank @@
+Normal rank
@@ Property / cites work @@
+The reactive simulatability (RSIM) framework for asynchronous systems
+Normal rank
@@ Property / cites work @@
+Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols
+Normal rank
@@ Property / cites work @@
+Polylog randomized wait-free consensus
@@ Property / cites work: Polylog randomized wait-free consensus / rank @@
+Normal rank
@@ Property / cites work @@
+Switched PIOA: parallel composition via distributed scheduling
+Normal rank
@@ Property / cites work @@
+Finite state Markovian decision processes
@@ Property / cites work: Finite state Markovian decision processes / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Q4279565
@@ Property / cites work: Q4279565 / rank @@
+Normal rank
@@ Property / cites work @@
+The knowledge complexity of interactive proof-systems
+Normal rank
@@ Property / cites work @@
+On the fly authentication and signature schemes based on groups of unknown order
+Normal rank
@@ Property / cites work @@
+On the Translocation of Masses
@@ Property / cites work: On the Translocation of Masses / rank @@
+Normal rank
@@ Property / cites work @@
+Planning and acting in partially observable stochastic domains
+Normal rank
@@ Property / cites work @@
+Proving time bounds for randomized distributed algorithms
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3519383
@@ Property / cites work: Q3519383 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Approximate Implementations for Probabilistic I/O Automata
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
+Normal rank
@@ Property / cites work @@
+Relationship of Three Cryptographic Channels in the UC Framework
+Normal rank
@@ Property / cites work @@
+Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+The choice coordination problem
@@ Property / cites work: The choice coordination problem / rank @@
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank