Domain theory, testing and simulation for labelled Markov processes
type: Item
instance of: scholarly article
title: Domain theory, testing and simulation for labelled Markov processes
zbMATH Open document ID: 1070.68108
author: Joël Ouaknine
author: James Worrell
author: Franck van Breugel
author: Michael Mislove
published in: Theoretical Computer Science
publication date: 2005-04-06T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 2153209
zbMATH Keywords: labelled Markov process
zbMATH Keywords: bisimulation
zbMATH Keywords: testing
zbMATH Keywords: domain theory
zbMATH Keywords: measure theory
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.10.021
OpenAlex ID: W2152595206
cites work: Observation equivalence as a testing equivalence
cites work: On the greatest fixed point of a set functor
cites work: An Extension Result for Continuous Valuations
cites work: Q4112980
cites work: Experimenting with process equivalence
cites work: Q4417860
cites work: Q4737187
cites work: A behavioural pseudometric for probabilistic transition systems
cites work: Bisimulation for labelled Markov processes
cites work: Q4270063
cites work: Approximating labelled Markov processes
cites work: Metrics for labelled Markov processes
cites work: When Scott is weak on the top
cites work: Q4375489
cites work: Continuous Lattices and Domains
cites work: Q3946875
cites work: Q3965241
cites work: Q4222969
cites work: Bisimulation through probabilistic testing
cites work: Q3992568
cites work: Q5533878
cites work: The Category-Theoretic Solution of Recursive Domain Equations
cites work: Bisimulation for probabilistic transition systems: A coalgebraic approach
DOI: 10.1016/J.TCS.2004.10.021
Recommended article: Q4737187
Recommended article: Q4536610
Recommended article: Approximating labelled Markov processes
Recommended article: Distribution-based bisimulation for labelled Markov processes
Recommended article: Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations
Recommended article: Bisimulation for labelled Markov processes
Recommended article: Labelled Markov processes: stronger and faster approximations
Recommended article: Bisimulations for non-deterministic labelled Markov processes
Recommended article: Markov Model Theory
Recommended article: Hypothesis testing for Markovian models with random time observations
description: scientific article; zbMATH DE number 2153209