A Theory of Distributed Markov Chains (Q4988963): Difference between revisions

@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Order Reduction for Markov Decision Processes: A Survey
+Normal rank
@@ Property / cites work @@
+Model Checking Probabilistic Systems
@@ Property / cites work: Model Checking Probabilistic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771633
@@ Property / cites work: Q3771633 / rank @@
+Normal rank
@@ Property / cites work @@
+A technique of state space search based on unfolding
+Normal rank
@@ Property / cites work @@
+The 10,000 facets of MDP model checking
@@ Property / cites work: The 10,000 facets of MDP model checking / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic partial order compression for probabilistic reachability
+Normal rank
@@ Property / cites work @@
+True-concurrency probabilistic models: Markov nets and a law of large numbers
+Normal rank
@@ Property / cites work @@
+True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
+Normal rank
@@ Property / cites work @@
+Probabilistic event structures and domains
@@ Property / cites work: Probabilistic event structures and domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4458137
@@ Property / cites work: Q4458137 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791268
@@ Property / cites work: Q4791268 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrency, σ-Algebras, and Probabilistic Fairness
+Normal rank
@@ Property / cites work @@
+Probabilistic asynchronous automata
@@ Property / cites work: Probabilistic asynchronous automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3059475
@@ Property / cites work: Q3059475 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability in cyclic extended free-choice systems
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5227061
@@ Property / cites work: Q5227061 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4988963