Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. (Q1400292): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4112980
@@ Property / cites work: Q4112980 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4606219
@@ Property / cites work: Q4606219 / rank @@
+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 @@
+Q2754096
@@ Property / cites work: Q2754096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4836494
@@ Property / cites work: Q4836494 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999241
@@ Property / cites work: Q3999241 / 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 @@
+Q4270063
@@ Property / cites work: Q4270063 / rank @@
+Normal rank
@@ Property / cites work @@
+Real Analysis and Probability
@@ Property / cites work: Real Analysis and Probability / rank @@
+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 @@
+Introdction to Measure and Probability
@@ Property / cites work: Introdction to Measure and Probability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5526190
@@ Property / cites work: Q5526190 / rank @@
+Normal rank