Computing Behavioral Relations for Probabilistic Concurrent Systems (Q2937734): Difference between revisions

@@ Property / cites work @@
+Q3056948
@@ Property / cites work: Q3056948 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching bisimulation for probabilistic systems: characteristics and decidability
+Normal rank
@@ Property / cites work @@
+Model-checking continuous-time Markov chains
@@ Property / cites work: Model-checking continuous-time Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding bisimilarity and similarity for probabilistic processes.
+Normal rank
@@ Property / cites work @@
+Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparative branching-time semantics for Markov chains
+Normal rank
@@ Property / cites work @@
+Q3245701
@@ Property / cites work: Q3245701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3376698
@@ Property / cites work: Q3376698 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484499
@@ Property / cites work: Q4484499 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+On the semantics of Markov automata
@@ Property / cites work: On the semantics of Markov automata / rank @@
+Normal rank
@@ Property / cites work @@
+A Semantics for Every GSPN
@@ Property / cites work: A Semantics for Every GSPN / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Bisimilarities on Distributions
@@ Property / cites work: Deciding Bisimilarities on Distributions / rank @@
+Normal rank
@@ Property / cites work @@
+The Quest for Minimal Quotients for Probabilistic Automata
+Normal rank
@@ Property / cites work @@
+Concurrency and Composition in a Stochastic World
@@ Property / cites work: Concurrency and Composition in a Stochastic World / rank @@
+Normal rank
@@ Property / cites work @@
+A Fast Parametric Maximum Flow Algorithm and Applications
+Normal rank
@@ Property / cites work @@
+A new approach to the maximum-flow problem
@@ Property / cites work: A new approach to the maximum-flow problem / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time
+Normal rank
@@ Property / cites work @@
+Cost Preserving Bisimulations for Probabilistic Automata
+Normal rank
@@ Property / cites work @@
+Q3266141
@@ Property / cites work: Q3266141 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3567136
@@ Property / cites work: Q3567136 / rank @@
+Normal rank
@@ Property / cites work @@
+CCS expressions, finite state processes, and three problems of equivalence
+Normal rank
@@ Property / cites work @@
+Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
+Normal rank
@@ Property / cites work @@
+Continuous-time probabilistic automata
@@ Property / cites work: Continuous-time probabilistic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+An Introduction to Decision Theory
@@ Property / cites work: An Introduction to Decision Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536612
@@ Property / cites work: Q4536612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5305630
@@ Property / cites work: Q5305630 / rank @@
+Normal rank
@@ Property / cites work @@
+A General Framework for Probabilistic Characterizing Formulae
+Normal rank
@@ Property / cites work @@
+Markov automata: deciding weak bisimulation by means of non-naïvely vanishing states
+Normal rank
@@ Property / cites work @@
+Probability and Nondeterminism in Operational Models of Concurrency
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4324960
@@ Property / cites work: Q4324960 / rank @@
+Normal rank
@@ Property / cites work @@
+The many facets of linear programming
@@ Property / cites work: The many facets of linear programming / rank @@
+Normal rank
@@ Property / cites work @@
+A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Deciding Simulations on Probabilistic Automata
@@ Property / cites work: Deciding Simulations on Probabilistic Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
+Normal rank