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

@@ Property / describes a project that uses @@
+SPADES
@@ Property / describes a project that uses: SPADES / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+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
@@ Property / Wikidata QID @@
+Q56765169
@@ Property / Wikidata QID: Q56765169 / rank @@
+Normal rank