The PEPA Plug-in Project

14 years 5 months ago

Download www.dcs.ed.ac.uk

We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, ﬂuid ﬂow analysis, and stochastic simulation.

Mirco Tribastone

Real-time Traffic

Markovian Steady-state Analysis | QEST 2007 | Quantitative Evaluation Of Systems | Stochastic Process Algebra | Stochastic Simulation |

claim paper

» SemanticallyGuided Workflow Construction in Taverna The SADI and BioMoby PlugIns

» Declared Type Generalization Checker An Eclipse PlugIn for Systematic Programming with Mor...

» Wolf An Eclipse PlugIn for WADE

» Every agent a web server every agent community an intranet

Post Info
More Details (n/a)

Added	04 Jun 2010
Updated	04 Jun 2010
Type	Conference
Year	2007
Where	QEST
Authors	Mirco Tribastone

Comments (0)

Sciweavers

The PEPA Plug-in Project

Markovian Steady-state Analysis | QEST 2007 | Quantitative Evaluation Of Systems | Stochastic Process Algebra | Stochastic Simulation |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers