Specification, testing and implementation relations for symbolic-probabilistic systems (Q2368993): Difference between revisions

@@ Property / cites work @@
+Process algebra with timing
@@ Property / cites work: Process algebra with timing / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete time generative-reactive probabilistic processes with different advancing speeds
+Normal rank
@@ Property / cites work @@
+Algebraic theory of probabilistic and nondeterministic processes.
+Normal rank
@@ Property / cites work @@
+Testing preorders for probabilistic processes.
@@ Property / cites work: Testing preorders for probabilistic processes. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760249
@@ Property / cites work: Q2760249 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive, generative, and stratified models of probabilistic processes
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760248
@@ Property / cites work: Q2760248 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Applying Formal Methods: Testing, Performance, and M/E-Commerce
+Normal rank
@@ Property / cites work @@
+Algebraic theory of probabilistic processes.
@@ Property / cites work: Algebraic theory of probabilistic processes. / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems - FORTE 2003
+Normal rank
@@ Property / cites work @@
+A timed model for communicating sequential processes
+Normal rank
@@ Property / cites work @@
+Testing probabilistic automata
@@ Property / cites work: Testing probabilistic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449196
@@ Property / cites work: Q4449196 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896913
@@ Property / cites work: Q4896913 / rank @@
+Normal rank