scientific article; zbMATH DE number 2079828

MaRDI QIDQ4471933zbMATH OpenFDO

Authors Holger Hermanns, Joachim Meyer-Kayser, Markus Siegle, Joost-Pieter Katoen

Publication date 30 July 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1945/19450420.htm

Mathematics Subject Classification ID

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

• Process algebra and model checking
• Stochastic model checking
• Symbolic model checking for probabilistic processes
• Model Checking Software
• Model Checking Stochastic Branching Processes
• Model checking stochastic automata
• Stochastic model checking of the stochastic quality calculus
• scientific article; zbMATH DE number 1946766
• Model checking of probabilistic and nondeterministic systems

Cited in

(25)

• Stochastic model checking of the stochastic quality calculus
• Structural analysis for stochastic process algebra models
• An ontological process modelling framework for stochastic systems
• Action and State Based Computation Tree Measurement Language and Algorithms
• scientific article; zbMATH DE number 1701761 (Why is no real title available?)
• Model checking mobile stochastic logic
• Rate lifting for stochastic process algebra -- exploiting structural properties
• Traffic Modelling and Probabilistic Process Abstraction
• scientific article; zbMATH DE number 1538068 (Why is no real title available?)
• Application research of process algebras on performance evaluation
• scientific article; zbMATH DE number 2080958 (Why is no real title available?)
• It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models
• scientific article; zbMATH DE number 1946766 (Why is no real title available?)
• Compositional performance modelling with the TIPPtool
• An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA
• Model checking stochastic automata
• Tackling continuous state-space explosion in a Markovian process algebra
• scientific article; zbMATH DE number 1884418 (Why is no real title available?)
• scientific article; zbMATH DE number 2090710 (Why is no real title available?)
• Monte Carlo methods for process algebra
• Model Checking Stochastic Branching Processes
• Construction and verification of performance and reliability models
• Stochastic and Real Time in Process Algebra: A Conceptual Overview
• Stochastic process algebras
• Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes

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 Q4471933)