Exploiting modal logic to express performance measures

DOI10.1007/3-540-46429-8_18MaRDI QIDQ4518928zbMATH OpenFDO

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

Publication date 13 June 2001

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

Full work available at URL https://www.research.ed.ac.uk/en/publications/4dfc3dc9-2719-45da-8d0c-bf018de1cd5e

zbMATH Keywords

stochastic modal logicstochastic process algebras

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)

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

Describes a project that uses

Uses Software

• PEPA

This page was built for publication: Exploiting modal logic to express performance measures

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