Turning back time in Markovian process algebra. (Q1401206): Difference between revisions

@@ Property / cites work @@
+A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
+Normal rank
@@ Property / cites work @@
+The Output of a Queuing System
@@ Property / cites work: The Output of a Queuing System / rank @@
+Normal rank
@@ Property / cites work @@
+Product form solution for an insensitive stochastic process algebra structure
+Normal rank
@@ Property / cites work @@
+Product-form queueing networks with negative and positive customers
+Normal rank
@@ Property / cites work @@
+SPADES - a process algebra for discrete event simulation
+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 @@
+Product form solution for a class of PEPA models
@@ Property / cites work: Product form solution for a class of PEPA models / rank @@
+Normal rank
@@ Property / cites work @@
+Q3855869
@@ Property / cites work: Q3855869 / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic dynamic technique for the distributed generation of very large state spaces
+Normal rank