The How and Why of Interactive Markov Chains (Q3066128): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2141823988
@@ Property / OpenAlex ID: W2141823988 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding bisimilarity and similarity for probabilistic processes.
+Normal rank
@@ Property / cites work @@
+Comparative branching-time semantics for Markov chains
+Normal rank
@@ Property / cites work @@
+Q2746874
@@ Property / cites work: Q2746874 / rank @@
+Normal rank
@@ Property / cites work @@
+A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
+Normal rank
@@ Property / cites work @@
+Q4368722
@@ Property / cites work: Q4368722 / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
+Normal rank
@@ Property / cites work @@
+YMCA
@@ Property / cites work: YMCA / rank @@
+Normal rank
@@ Property / cites work @@
+Q4547767
@@ Property / cites work: Q4547767 / rank @@
+Normal rank
@@ Property / cites work @@
+Exact and ordinary lumpability in finite Markov chains
+Normal rank
@@ Property / cites work @@
+GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets
+Normal rank
@@ Property / cites work @@
+Towards Performance Prediction of Compositional Models in Industrial GALS Designs
+Normal rank
@@ Property / cites work @@
+Rate-Based Transition Systems for Stochastic Process Calculi
+Normal rank
@@ Property / cites work @@
+Dynamic fault-tree models for fault-tolerant computer systems
+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 @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808842
@@ Property / cites work: Q4808842 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+Process algebra for performance evaluation
@@ Property / cites work: Process algebra for performance evaluation / rank @@
+Normal rank
@@ Property / cites work @@
+Automated compositional Markov chain generation for a plain-old telephone system
+Normal rank
@@ Property / cites work @@
+A Compositional Approach to Performance Modelling
@@ Property / cites work: A Compositional Approach to Performance Modelling / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
+Normal rank
@@ Property / cites work @@
+Three-Valued Abstraction for Continuous-Time Markov Chains
+Normal rank
@@ Property / cites work @@
+Compositional Abstraction for Stochastic Systems
@@ Property / cites work: Compositional Abstraction for Stochastic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Operational Semantics for Stochastic Process Calculi
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4835250
@@ Property / cites work: Q4835250 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Delayed Nondeterminism in Continuous-Time Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+Specification styles in distributed systems design and verification
+Normal rank
@@ Property / cites work @@
+Sigref – A Symbolic Bisimulation Tool Box
@@ Property / cites work: Sigref – A Symbolic Bisimulation Tool Box / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Interactive Markov Chains
@@ Property / cites work: Model Checking Interactive Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
+Normal rank