Probabilistic model of software approximate correctness (Q2825263): Difference between revisions

@@ Property / DOI @@
-.1007/s11859-016-1137-x
@@ Property / DOI: 10.1007/s11859-016-1137-x / rank @@
-Normal rank
@@ Property / author @@
+Yan-Fang Ma
@@ Property / author: Yan-Fang Ma / 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/s11859-016-1137-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2326316958
@@ Property / OpenAlex ID: W2326316958 / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Finitary Probabilistic Processes
@@ Property / cites work: Testing Finitary Probabilistic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive, generative, and stratified models of probabilistic processes
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+Additive models of probabilistic processes
@@ Property / cites work: Additive models of probabilistic processes / rank @@
+Normal rank
@@ Property / cites work @@
+The infinite evolution mechanism of \(\epsilon\)-bisimilarity
+Normal rank
@@ Property / cites work @@
+Simulation for lattice-valued doubly labeled transition systems
+Normal rank
@@ Property / cites work @@
+Bisimulation indexes and their applications
@@ Property / cites work: Bisimulation indexes and their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+The quantitative linear-time-branching-time spectrum
+Normal rank
@@ Property / cites work @@
+The origins of structural operational semantics
@@ Property / cites work: The origins of structural operational semantics / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S11859-016-1137-X
@@ Property / DOI: 10.1007/S11859-016-1137-X / rank @@
+Normal rank