The compositional construction of Markov processes II (Q3006162): Difference between revisions

@@ Property / DOI @@
-.1051/ita/2011015
@@ Property / DOI: 10.1051/ita/2011015 / rank @@
-Normal rank
@@ Property / arXiv ID @@
+.0949
@@ Property / arXiv ID: 1005.0949 / rank @@
+Normal rank
@@ Property / cites work @@
+Seven trees in one
@@ Property / cites work: Seven trees in one / rank @@
+Normal rank
@@ Property / cites work @@
+Cartesian bicategories. I
@@ Property / cites work: Cartesian bicategories. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5448360
@@ Property / cites work: Q5448360 / rank @@
+Normal rank
@@ Property / cites work @@
+Environment and Classical Channels in Categorical Quantum Mechanics
+Normal rank
@@ Property / cites work @@
+The compositional construction of Markov processes
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+On traced monoidal closed categories
@@ Property / cites work: On traced monoidal closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Approach to Performance Modelling
@@ Property / cites work: A Compositional Approach to Performance Modelling / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4373555
@@ Property / cites work: Q4373555 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4452848
@@ Property / cites work: Q4452848 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978964
@@ Property / cites work: Q3978964 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3519383
@@ Property / cites work: Q3519383 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of multiprocess probabilistic protocols
+Normal rank
@@ Property / cites work @@
+Probabilistic automata
@@ Property / cites work: Probabilistic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5701017
@@ Property / cites work: Q5701017 / 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
@@ Property / DOI @@
+.1051/ITA/2011015
@@ Property / DOI: 10.1051/ITA/2011015 / rank @@
+Normal rank