Finite axiomatization for symbolic probabilistic \(\pi \)-calculus (Q615236): Difference between revisions

@@ Property / cites work @@
+Axiomatizations for probabilistic finite-state behaviors
+Normal rank
@@ Property / cites work @@
+Q4791835
@@ Property / cites work: Q4791835 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive, generative, and stratified models of probabilistic processes
+Normal rank
@@ Property / cites work @@
+Weak bisimulation for probabilistic timed automata
+Normal rank
@@ Property / cites work @@
+Q4536612
@@ Property / cites work: Q4536612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite axiomatization for symbolic probabilistic \(\pi \)-calculus
+Normal rank
@@ Property / cites work @@
+Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus.
+Normal rank