A hierarchy of probabilistic system types
type: Item
instance of: scholarly article
title: A hierarchy of probabilistic system types
zbMATH Open document ID: 1071.68071
author: Falk Bartels
author: Ana Sokolova
author: Erik de Vink
published in: Theoretical Computer Science
publication date: 2005-01-11T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2126094
zbMATH Keywords: Probabilistic transition systems
zbMATH Keywords: Probabilistic bisimulation
zbMATH Keywords: Coalgebra
zbMATH Keywords: Cocongruence
zbMATH Keywords: Preservation and reflection of bisimulation
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.07.019
OpenAlex ID: W1981607181
cites work: A final coalgebra theorem
cites work: A hierarchy of probabilistic system types
cites work: Q4255553
cites work: Bisimulation for labelled Markov processes
cites work: Bisimulation for probabilistic transition systems: A coalgebraic approach
cites work: Q4499310
cites work: Q4355684
cites work: Probabilistic extensions of process algebras.
cites work: Q4533390
cites work: Bisimulation through probabilistic testing
cites work: Q3992568
cites work: Coalgebraic logic
cites work: Probabilistic verification
cites work: Universal coalgebra: A theory of systems
cites work: Q4847023
cites work: Validation of Stochastic Systems
cites work: Reactive, generative, and stratified models of probabilistic processes
cites work: Q4499301
DOI: 10.1016/J.TCS.2004.07.019
description: scientific article; zbMATH DE number 2126094