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)

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

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)