Bisimulation for probabilistic transition systems: A coalgebraic approach
type: Item
instance of: scholarly article
title: Bisimulation for probabilistic transition systems: A coalgebraic approach
zbMATH Open document ID: 0930.68092
DOI: 10.1016/S0304-3975(99)00035-3
author: Erik de Vink
author: Jan J. M. M. Rutten
published in: Theoretical Computer Science
publication date: 2000-01-12T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1387429
zbMATH Keywords: bisimulation
zbMATH Keywords: probabilistic transition systems
zbMATH Keywords: coalgebras
zbMATH Keywords: ultrametric spaces
zbMATH Keywords: Borel measures
zbMATH Keywords: final coalgebra
MaRDI profile type: Publication
cites work: Q3992552
cites work: A final coalgebra theorem
cites work: Solving reflexive domain equations in a category of complete metric spaces
cites work: Additions and corrections to ``Terminal coalgebras in well-founded set theory''
cites work: Extended Markovian Process Algebra
cites work: Q4222911
cites work: A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems
cites work: Q4198785
cites work: Topological dualities in semantics
cites work: Q4373409
cites work: Domain theory and integration
cites work: Dynamical systems, measures, and fractals via domain theory
cites work: Q3946875
cites work: Reactive, generative, and stratified models of probabilistic processes
cites work: Hybrid automata with finite bisimulations
cites work: Bisimulation from open maps
cites work: Q3203061
cites work: Q4355684
cites work: Descriptive set theory and harmonic analysis
cites work: Formal verification of parallel programs
cites work: Q3337413
cites work: Bisimulation through probabilistic testing
cites work: Q3687683
cites work: A calculus of communicating systems
cites work: Coalgebraic logic
cites work: Q3907077
cites work: Q3657409
cites work: An approach to object semantics based on terminal co-algebras
cites work: Q5526190
cites work: Universal coalgebra: A theory of systems
cites work: Probabilistic communicating processes
Recommended article: Bisimulation for probabilistic transition systems: A coalgebraic approach
Recommended article: Bisimulation and cocongruence for probabilistic systems
Recommended article: Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation
Recommended article: Q4535031
Recommended article: Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation
Recommended article: Branching bisimulation congruence for probabilistic systems
Recommended article: Branching Bisimulation Congruence for Probabilistic Systems
Recommended article: Q4536612
Recommended article: Branching bisimulation for probabilistic systems: characteristics and decidability
Recommended article: Q4992498
description: scientific article; zbMATH DE number 1387429