Tackling continuous state-space explosion in a Markovian process algebra
From MaRDI portal
Publication:387988
DOI10.1016/j.tcs.2013.08.016zbMath1358.68219OpenAlexW2030592463WikidataQ57790835 ScholiaQ57790835MaRDI QIDQ387988
Max Tschaikowski, Mirco Tribastone
Publication date: 18 December 2013
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2013.08.016
Related Items
Analytical modelling and optimization analysis of large-scale communication systems and networks with repairmen policy ⋮ Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model ⋮ Equivalences for fluid stochastic Petri nets ⋮ Comparing chemical reaction networks: a categorical and algorithmic perspective ⋮ Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis ⋮ Formal lumping of polynomial differential equations through approximate equivalences ⋮ A unified framework for differential aggregations in Markovian process algebra ⋮ Symbolic computation of differential equivalences
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Fluid computation of passage-time distributions in large Markov models
- A fluid analysis framework for a Markovian process algebra
- Optimal state-space lumping in Markov chains
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- A calculus of communicating systems
- Turning back time in Markovian process algebra.
- Exact Fluid Lumpability for Markovian Process Algebra
- Mean-Value Analysis of Closed Multichain Queuing Networks
- Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
- G-networks by triggered customer movement
- Exact and ordinary lumpability in finite Markov chains
- Product form solution for a class of PEPA models
- Solutions of ordinary differential equations as limits of pure jump markov processes
- Fundamental Queries in Aggregation Theory
