Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus (Q1941882): Difference between revisions

@@ Property / cites work @@
+Testing equivalence for mobile processes
@@ Property / cites work: Testing equivalence for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for analyzing probabilistic protocols and its application to the partial secrets exchange
+Normal rank
@@ Property / cites work @@
+A testing scenario for probabilistic processes
@@ Property / cites work: A testing scenario for probabilistic processes / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on Testing Probabilistic Processes
@@ Property / cites work: Remarks on Testing Probabilistic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Characterising Testing Preorders for Finite Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Testing Finitary Probabilistic Processes
@@ Property / cites work: Testing Finitary Probabilistic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Scalar Outcomes Suffice for Finitary Probabilistic Testing
+Normal rank
@@ Property / cites work @@
+Q3947096
@@ Property / cites work: Q3947096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508299
@@ Property / cites work: Q4508299 / rank @@
+Normal rank
@@ Property / cites work @@
+Late and early semantics coincide for testing
@@ Property / cites work: Late and early semantics coincide for testing / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics for mobile processes
@@ Property / cites work: Modal logics for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Bisimulation for higher-order process calculi
@@ Property / cites work: Bisimulation for higher-order process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+On the bisimulation proof method
@@ Property / cites work: On the bisimulation proof method / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive, generative, and stratified models of probabilistic processes
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank