Axiomatizations for probabilistic finite-state behaviors (Q875517): Difference between revisions

@@ Property / cites work @@
+Equational Axioms for Probabilistic Bisimilarity
@@ Property / cites work: Equational Axioms for Probabilistic Bisimilarity / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769588
@@ Property / cites work: Q2769588 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing probabilistic processes: ACP with generative probabilities
+Normal rank
@@ Property / cites work @@
+Q4535031
@@ Property / cites work: Q4535031 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484499
@@ Property / cites work: Q4484499 / rank @@
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Tau laws for pi calculus
@@ Property / cites work: Tau laws for pi calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508299
@@ Property / cites work: Q4508299 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete axiomatisation for observational congruence of finite-state behaviours
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847403
@@ Property / cites work: Q2847403 / rank @@
+Normal rank
@@ Property / cites work @@
+A randomized encoding of the \(\pi\)-calculus with mixed choice
+Normal rank
@@ Property / cites work @@
+Q4536612
@@ Property / cites work: Q4536612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive, generative, and stratified models of probabilistic processes
+Normal rank