scientific article; zbMATH DE number 1538068

zbMath0962.68120MaRDI QIDQ4518928

Jane Hillston, Marina Ribaudo, Stephen T. Gilmore, Graham Clark

Publication date: 13 June 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

stochastic process algebrasstochastic modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Performance investigation of an on‐line auction system ⋮ Equivalences for fluid stochastic Petri nets ⋮ Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains ⋮ Logical characterization of fluid equivalences

Uses Software

• PEPA

This page was built for publication: