Analysis of a Multimedia Stream using Stochastic Process Algebra
From MaRDI portal
Publication:2765225
DOI10.1093/COMJNL/44.4.230zbMath0993.68068OpenAlexW2164990576MaRDI QIDQ2765225
Jeremy Bryans, John Derrick, Howard Bowman
Publication date: 23 January 2002
Published in: The Computer Journal (Search for Journal in Brave)
Full work available at URL: https://kar.kent.ac.uk/21606/1/Analysis_of_a_Multimedia_Stream_using_Stochastic_Process_Algebra.pdf
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)
Related Items (6)
A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra ⋮ Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models ⋮ Comparing job allocation schemes where service demand is unknown ⋮ Improved Continuous Approximation of PEPA Models through Epidemiological Examples ⋮ A fluid analysis framework for a Markovian process algebra ⋮ Process algebraic modelling of attentional capture and human electrophysiology in interactive systems
Uses Software
This page was built for publication: Analysis of a Multimedia Stream using Stochastic Process Algebra