Implementing a stochastic process algebra within the Möbius modeling framework

DOI10.1007/3-540-44804-7_13MaRDI QIDQ4800175zbMATH OpenFDO

Authors Graham Clark, William H. Sanders

Publication date 2 April 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44804-7_13

Mathematics Subject Classification ID

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

Recommendations

• Stochastic process algebras
• scientific article; zbMATH DE number 2087800
• scientific article; zbMATH DE number 836614
• scientific article; zbMATH DE number 956806
• A Compositional Approach to Performance Modelling

Cited in

(4)

• PEPA queues: capturing customer behaviour in queueing networks
• scientific article; zbMATH DE number 1946766 (Why is no real title available?)
• scientific article; zbMATH DE number 2087795 (Why is no real title available?)
• It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models

Describes a project that uses

Uses Software

• PEPA
• Möbius

This page was built for publication: Implementing a stochastic process algebra within the Möbius modeling framework

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