Performance analysis of concurrent systems in algebra dtsiPBC (Q300304): Difference between revisions

@@ Property / cites work @@
+A Compositional Approach to Performance Modelling
@@ Property / cites work: A Compositional Approach to Performance Modelling / rank @@
+Normal rank
@@ Property / cites work @@
+A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
+Normal rank
@@ Property / cites work @@
+A refined view of the box algebra
@@ Property / cites work: A refined view of the box algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Petri net algebra
@@ Property / cites work: Petri net algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems – FORTE 2004
+Normal rank
@@ Property / cites work @@
+Q3601873
@@ Property / cites work: Q3601873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3429643
@@ Property / cites work: Q3429643 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2880610
@@ Property / cites work: Q2880610 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic process reduction for performance evaluation in dtsiPBC
+Normal rank
@@ Property / cites work @@
+Discrete Time Stochastic Petri Nets
@@ Property / cites work: Discrete Time Stochastic Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4367948
@@ Property / cites work: Q4367948 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798039
@@ Property / cites work: Q4798039 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Generalized Stochastic Petri Nets
@@ Property / cites work: Introduction to Generalized Stochastic Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive, generative, and stratified models of probabilistic processes
+Normal rank
@@ Property / cites work @@
+Q3152933
@@ Property / cites work: Q3152933 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4547764
@@ Property / cites work: Q4547764 / rank @@
+Normal rank