A fluid analysis framework for a Markovian process algebra

DOI10.1016/j.tcs.2010.02.001zbMath1334.68151MaRDI 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

zbMATH Keywords

differential equations; fluid approximation; stochastic process algebra; higher moments

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

60J99: Markov processes

Related Items

Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems, Symbolic computation of differential equivalences, Hybrid behaviour of Markov population models, Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates, Tackling continuous state-space explosion in a Markovian process algebra, On fluidization of discrete event models: Observation and control of continuous Petri nets, Fluid computation of passage-time distributions in large Markov models, Modelling patterns of gene regulation in the bond-calculus, A unified framework for differential aggregations in Markovian process algebra, Model checking single agent behaviours by fluid approximation, Equivalences for fluid stochastic Petri nets, Comparing chemical reaction networks: a categorical and algorithmic perspective, Exact fluid lumpability in Markovian process algebra, Quantitative Abstractions for Collective Adaptive Systems, Semi-Product-Form Solution for PEPA Models with Functional Rates, Applying Mean-Field Approximation to Continuous Time Markov Chains, Uniform Generation in Trace Monoids

Uses Software

• SPADES
• PEPA
• ipc

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