Tackling continuous state-space explosion in a Markovian process algebra (Q387988): Difference between revisions

@@ Property / Wikidata QID @@
+Q57790835
@@ Property / Wikidata QID: Q57790835 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPADES
@@ Property / describes a project that uses: SPADES / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PEPA
@@ Property / describes a project that uses: PEPA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2013.08.016
+Normal rank
@@ Property / OpenAlex ID @@
+W2030592463
@@ Property / OpenAlex ID: W2030592463 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3324796
@@ Property / cites work: Q3324796 / rank @@
+Normal rank
@@ Property / cites work @@
+Solutions of ordinary differential equations as limits of pure jump markov processes
+Normal rank
@@ Property / cites work @@
+A fluid analysis framework for a Markovian process algebra
+Normal rank
@@ Property / cites work @@
+Q4094202
@@ Property / cites work: Q4094202 / rank @@
+Normal rank
@@ Property / cites work @@
+Fluid computation of passage-time distributions in large Markov models
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal state-space lumping in Markov chains
@@ Property / cites work: Optimal state-space lumping in Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Exact and ordinary lumpability in finite Markov chains
+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 @@
+Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
+Normal rank
@@ Property / cites work @@
+G-networks by triggered customer movement
@@ Property / cites work: G-networks by triggered customer movement / 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 @@
+Mean-Value Analysis of Closed Multichain Queuing Networks
+Normal rank
@@ Property / cites work @@
+Turning back time in Markovian process algebra.
@@ Property / cites work: Turning back time in Markovian process algebra. / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental Queries in Aggregation Theory
@@ Property / cites work: Fundamental Queries in Aggregation Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Exact Fluid Lumpability for Markovian Process Algebra
+Normal rank