A fluid analysis framework for a Markovian process algebra
From MaRDI portal
Publication:974116
DOI10.1016/j.tcs.2010.02.001zbMath1334.68151OpenAlexW2170774457MaRDI QIDQ974116
Richard A. Hayden, Jeremy T. Bradley
Publication date: 27 May 2010
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2010.02.001
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Markov processes (60J99)
Related Items
Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates ⋮ Equivalences for fluid stochastic Petri nets ⋮ Applying Mean-Field Approximation to Continuous Time Markov Chains ⋮ Tackling continuous state-space explosion in a Markovian process algebra ⋮ Uniform Generation in Trace Monoids ⋮ Comparing chemical reaction networks: a categorical and algorithmic perspective ⋮ Exact fluid lumpability in Markovian process algebra ⋮ Modelling patterns of gene regulation in the bond-calculus ⋮ A unified framework for differential aggregations in Markovian process algebra ⋮ Symbolic computation of differential equivalences ⋮ Quantitative Abstractions for Collective Adaptive Systems ⋮ On fluidization of discrete event models: Observation and control of continuous Petri nets ⋮ Fluid computation of passage-time distributions in large Markov models ⋮ Semi-Product-Form Solution for PEPA Models with Functional Rates ⋮ Model checking single agent behaviours by fluid approximation ⋮ Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems ⋮ Hybrid behaviour of Markov population models
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models
- Relating continuous and discrete PEPA models of signalling pathways
- Fluid stochastic Petri nets: Theory, applications, and solution techniques
- Turning back time in Markovian process algebra.
- On process rate semantics
- Analysis of a Multimedia Stream using Stochastic Process Algebra
- Stochastic-Process Limits
- Stochastic Concurrent Constraint Programming and Differential Equations
- Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion
- Finite Continuous Time Markov Chains
- Communicating sequential processes
- Exact and ordinary lumpability in finite Markov chains
- Product form solution for a class of PEPA models
- On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation
- A Compositional Approach to Performance Modelling
- Solutions of ordinary differential equations as limits of pure jump markov processes
- Extended Markovian Process Algebra
