scientific article; zbMATH DE number 2079828

zbMATH Open1043.68594MaRDI QIDQ4471933FDOQ4471933

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

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

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

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)

Cited In (25)

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

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)