Switched PIOA: parallel composition via distributed scheduling (Q854167): Difference between revisions

@@ Property / author @@
-Frits W. Vaandrager
@@ Property / author: Frits W. Vaandrager / rank @@
-Normal rank
@@ Property / author @@
+Frits W. Vaandrager
@@ Property / author: Frits W. Vaandrager / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2099863033
@@ Property / OpenAlex ID: W2099863033 / rank @@
+Normal rank
@@ Property / cites work @@
+Wait-free synchronization in multiprogrammed systems
+Normal rank
@@ Property / cites work @@
+Fast deterministic consensus in a noisy environment
+Normal rank
@@ Property / cites work @@
+Randomized protocols for asynchronous consensus
@@ Property / cites work: Randomized protocols for asynchronous consensus / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient low-contention asynchronous consensus with the value-oblivious adversary scheduler
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Polylog randomized wait-free consensus
@@ Property / cites work: Polylog randomized wait-free consensus / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing - ICTAC 2004
@@ Property / cites work: Theoretical Aspects of Computing - ICTAC 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+A testing scenario for probabilistic processes
@@ Property / cites work: A testing scenario for probabilistic processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791844
@@ Property / cites work: Q4791844 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760248
@@ Property / cites work: Q2760248 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4094202
@@ Property / cites work: Q4094202 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+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 @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4324960
@@ Property / cites work: Q4324960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449196
@@ Property / cites work: Q4449196 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive, generative, and stratified models of probabilistic processes
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:854167