scientific article; zbMATH DE number 1538068

MaRDI QIDQ4518928zbMATH OpenFDO

Authors Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo

Publication date 13 June 2001

zbMATH Keywords

stochastic process algebrasstochastic modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) 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 1670870
• Functional Performance Specification with Stochastic Probes
• scientific article; zbMATH DE number 2079828
• Stochastic process algebras

Cited in

(11)

• Functional Performance Specification with Stochastic Probes
• Structural analysis for stochastic process algebra models
• scientific article; zbMATH DE number 2100582 (Why is no real title available?)
• Mixing logics and rewards for the component-oriented specification of performance measures
• An algebra-based method to associate rewards with EMPA terms
• Logical characterization of fluid equivalences
• Application research of process algebras on performance evaluation
• Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains
• Performance investigation of an on‐line auction system
• Equivalences for fluid stochastic Petri nets
• Stochastic process algebras

Describes a project that uses

Uses Software

• PEPA

This page was built for publication:

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