Layered reasoning for randomized distributed algorithms (Q1941864): Difference between revisions

@@ Property / cites work @@
+Q3549610
@@ Property / cites work: Q3549610 / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing security protocols using time-bounded task-PIOAs
+Normal rank
@@ Property / cites work @@
+Decomposition of distributed programs into communication-closed layers
+Normal rank
@@ Property / cites work @@
+From sequential layers to distributed processes
@@ Property / cites work: From sequential layers to distributed processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4422079
@@ Property / cites work: Q4422079 / rank @@
+Normal rank
@@ Property / cites work @@
+Randomized mutual exclusion algorithms revisited
@@ Property / cites work: Randomized mutual exclusion algorithms revisited / rank @@
+Normal rank
@@ Property / cites work @@
+A linear process-algebraic format with data for probabilistic automata
+Normal rank
@@ Property / cites work @@
+Using probabilistic Kleene algebra pKA for protocol verification
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A Layered Analysis of Consensus
@@ Property / cites work: A Layered Analysis of Consensus / rank @@
+Normal rank
@@ Property / cites work @@
+Layered Composition for Timed Automata
@@ Property / cites work: Layered Composition for Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+N-process mutual exclusion with bounded waiting by 4. log//2N-valued shared variable
+Normal rank
@@ Property / cites work @@
+Proving probabilistic correctness statements
@@ Property / cites work: Proving probabilistic correctness statements / rank @@
+Normal rank
@@ Property / cites work @@
+A principle for sequential reasoning about distributed algorithms
+Normal rank
@@ Property / cites work @@
+Q4547768
@@ Property / cites work: Q4547768 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395949
@@ Property / cites work: Q3395949 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence Reduction for Probabilistic Systems
@@ Property / cites work: Confluence Reduction for Probabilistic Systems / rank @@
+Normal rank