scientific article; zbMATH DE number 1538068

zbMATH Open0962.68120MaRDI QIDQ4518928FDOQ4518928

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

Publication date: 13 June 2001

Title of this publication is not available (Why is that?)

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

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)

Cited In (10)

• Logical characterization of fluid equivalences
• Functional Performance Specification with Stochastic Probes
• Structural analysis for stochastic process algebra models
• Performance investigation of an on‐line auction system
• Title not available (Why is that?)
• Mixing logics and rewards for the component-oriented specification of performance measures
• Application research of process algebras on performance evaluation
• Stochastic process algebras
• Equivalences for fluid stochastic Petri nets
• Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains

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)