A Spectrum of Behavioral Relations over LTSs on Probability Distributions (Q3090826): Difference between revisions

@@ Property / author @@
+Francesco Ranzato
@@ Property / author: Francesco Ranzato / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-23217-6_9
+Normal rank
@@ Property / OpenAlex ID @@
+W195403207
@@ Property / OpenAlex ID: W195403207 / rank @@
+Normal rank
@@ Property / cites work @@
+Grammar Analysis and Parsing by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Characterising Probabilistic Processes Logically
@@ Property / cites work: Characterising Probabilistic Processes Logically / rank @@
+Normal rank
@@ Property / cites work @@
+Characterising Testing Preorders for Finite Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Q4484498
@@ Property / cites work: Q4484498 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / 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 @@
+Probabilistic logical characterization
@@ Property / cites work: Probabilistic logical characterization / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
+Normal rank