Analysis of a multimedia stream using stochastic process algebra

DOI10.1093/COMJNL/44.4.230MaRDI QIDQ2765225zbMATH OpenOpenAlexFDO

Authors Jeremy W. Bryans, John Derrick, Howard Bowman

Publication date 23 January 2002

Published in The Computer Journal. Section A Section B (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

zbMATH Keywords

distributed systemsdistributed multimedia systems

Mathematics Subject Classification ID

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

Recommendations

• A model for availability of quality of service in distributed multimedia systems
• scientific article; zbMATH DE number 836614
• scientific article; zbMATH DE number 1569133
• A Compositional Approach to Performance Modelling
• Analysis of media synchronization in distributed multimedia systems using a queueing model

Cited in

(7)

• 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
• A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra
• A model for availability of quality of service in distributed multimedia systems
• Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models
• Comparing job allocation schemes where service demand is unknown

Describes a project that uses

Uses Software

• Uppaal
• LOTOS

This page was built for publication: Analysis of a multimedia stream using stochastic process algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2765225)