Stochastic process algebras

DOI10.1007/978-3-540-72522-0_4zbMATH Open1323.68406OpenAlexW2115654637MaRDI QIDQ3084589FDOQ3084589

Authors: A. D. Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone 

Publication date: 25 March 2011

Published in: Formal Methods for Performance Evaluation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72522-0_4

Recommendations

• A Compositional Approach to Performance Modelling
• scientific article; zbMATH DE number 1946766
• scientific article; zbMATH DE number 836614
• scientific article; zbMATH DE number 2079828
• scientific article; zbMATH DE number 1538068

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (26)

• Structural analysis for stochastic process algebra models
• A theory of stochastic systems. II: Process algebra
• Title not available (Why is that?)
• Hybrid behaviour of Markov population models
• Title not available (Why is that?)
• A Compositional Approach to Performance Modelling
• Title not available (Why is that?)
• Title not available (Why is that?)
• Application research of process algebras on performance evaluation
• Validation of Stochastic Systems
• Title not available (Why is that?)
• State-Aware Performance Analysis with eXtended Stochastic Probes
• Title not available (Why is that?)
• Flexible nets: a modeling formalism for dynamic systems with uncertain parameters
• Product form solution for an insensitive stochastic process algebra structure
• Stochastic acts and conmodules
• Process algebra for performance evaluation
• Stochastic modelling of communication protocols from source code
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fundamental results on the reactionâdiffusion equations associated with a PEPA model
• Equilibrium analysis of Markov regenerative processes
• Coincidence of the $\sigma$-Algebras in a Scheme of Partially Observable Diffusion Processes
• Modelling parallel databases with process algebra
• A Precedence PEPA Model for Performance and Reliability Analysis
• Eilenberg--Moore algebras for stochastic relations

Uses Software

• PEPA

This page was built for publication: Stochastic process algebras

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