A fluid analysis framework for a Markovian process algebra
type: Item
instance of: scholarly article
title: A fluid analysis framework for a Markovian process algebra
zbMATH Open document ID: 1334.68151
author: Richard A. Hayden
author: Jeremy T. Bradley
published in: Theoretical Computer Science
publication date: 2010-05-27T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 60J99
zbMATH DE Number: 5712826
zbMATH Keywords: stochastic process algebra
zbMATH Keywords: fluid approximation
zbMATH Keywords: differential equations
zbMATH Keywords: higher moments
describes a project that uses: SPADES
describes a project that uses: PEPA
describes a project that uses: ipc
MaRDI profile type: Publication
full work available at URL: j.tcs.2010.02.001
OpenAlex ID: W2170774457
cites work: A Compositional Approach to Performance Modelling
cites work: Extended Markovian Process Algebra
cites work: Q4936893
cites work: Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion
cites work: Q4242094
cites work: Turning back time in Markovian process algebra.
cites work: Product form solution for a class of PEPA models
cites work: Exact and ordinary lumpability in finite Markov chains
cites work: Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models
cites work: Stochastic concurrent constraint programming and differential equations
cites work: On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation
cites work: Communicating sequential processes
cites work: On process rate semantics
cites work: Relating continuous and discrete PEPA models of signalling pathways
cites work: Solutions of ordinary differential equations as limits of pure jump markov processes
cites work: Fluid stochastic Petri nets: Theory, applications, and solution techniques
cites work: Stochastic-Process Limits
cites work: Analysis of a multimedia stream using stochastic process algebra
cites work: Finite Continuous Time Markov Chains
cites work: Manual and Automatic Exploitation of Symmetries in SPN Models
DOI: 10.1016/J.TCS.2010.02.001
description: scientific article; zbMATH DE number 5712826