Approximating labelled Markov processes
type: Item
instance of: scholarly article
title: Approximating labelled Markov processes
zbMATH Open document ID: 1028.68091
DOI: 10.1016/S0890-5401(03)00051-8
author: Josée Desharnais
author: Vineet Gupta
author: Radha Jagadeesan
author: Prakash Panangaden
published in: Information and Computation
publication date: 2003-07-29T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1956120
zbMATH Keywords: labelled transition systems
describes a project that uses: HyTech
describes a project that uses: Uppaal
MaRDI profile type: Publication
cites work: A domain equation for bisimulation
cites work: A theory of timed automata
cites work: An Extension Result for Continuous Valuations
cites work: Axiomatizing probabilistic processes: ACP with generative probabilities
cites work: Symbolic model checking for probabilistic processes
cites work: Model checking of probabilistic and nondeterministic systems
cites work: Bisimulation for labelled Markov processes
cites work: Q4270055
cites work: Testing preorders for probabilistic processes
cites work: The complexity of probabilistic verification
cites work: Q4270063
cites work: Bisimulation for probabilistic transition systems: A coalgebraic approach
cites work: Domain theory and integration
cites work: Dynamical systems, measures, and fractals via domain theory
cites work: Q5624436
cites work: Q3946875
cites work: HyTech: A model checker for hybrid systems
cites work: A Compositional Approach to Performance Modelling
cites work: A logic for reasoning about time and reliability
cites work: Probabilistic propositional temporal logics
cites work: Q3203061
cites work: Q3812427
cites work: Semantics of probabilistic programs
cites work: A probabilistic PDL
cites work: Finite Continuous Time Markov Chains
cites work: Spaces of maximal points
cites work: Bisimulation through probabilistic testing
cites work: Q3992568
cites work: Stochastic differential equations. An introduction with applications.
cites work: Q5533878
cites work: Q4179849
cites work: CPO's of measures for nondeterminism
cites work: The Category-Theoretic Solution of Recursive Domain Equations
cites work: Q4535035
cites work: Reactive, generative, and stratified models of probabilistic processes
cites work: Stochastic modelling of flexible manufacturing systems
cites work: Composition and behaviors of probabilistic I/O automata
description: scientific article; zbMATH DE number 1956120