Stochastic process algebras

DOI10.1007/978-3-540-72522-0_4MaRDI QIDQ3084589zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(26)

• Eilenberg--Moore algebras for stochastic relations
• A Precedence PEPA Model for Performance and Reliability Analysis
• Structural analysis for stochastic process algebra models
• A theory of stochastic systems. II: Process algebra
• Hybrid behaviour of Markov population models
• scientific article; zbMATH DE number 3952836 (Why is no real title available?)
• scientific article; zbMATH DE number 836615 (Why is no real title available?)
• A Compositional Approach to Performance Modelling
• scientific article; zbMATH DE number 2087800 (Why is no real title available?)
• scientific article; zbMATH DE number 1890702 (Why is no real title available?)
• Application research of process algebras on performance evaluation
• Validation of Stochastic Systems
• scientific article; zbMATH DE number 1538068 (Why is no real title available?)
• State-Aware Performance Analysis with eXtended Stochastic Probes
• scientific article; zbMATH DE number 836614 (Why is no real title available?)
• 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
• Fundamental results on the reactionâdiffusion equations associated with a PEPA model
• Stochastic modelling of communication protocols from source code
• scientific article; zbMATH DE number 1786475 (Why is no real title available?)
• scientific article; zbMATH DE number 2086944 (Why is no real title available?)
• Modelling parallel databases with process algebra
• Coincidence of the $\sigma$-Algebras in a Scheme of Partially Observable Diffusion Processes
• Equilibrium analysis of Markov regenerative processes

Describes a project that uses

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)