Additive models of probabilistic processes
type: Item
instance of: scholarly article
title: Additive models of probabilistic processes
zbMATH Open document ID: 1026.68100
DOI: 10.1016/S0304-3975(01)00294-8
published in: Theoretical Computer Science
publication date: 2002-07-31T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1774108
zbMATH Keywords: probabilistic process
zbMATH Keywords: transitional semantics
zbMATH Keywords: strong bisimulation
zbMATH Keywords: bisimulation
zbMATH Keywords: observation congruence
author: Mingsheng Ying
MaRDI profile type: Publication
cites work: Axiomatizing probabilistic processes: ACP with generative probabilities
cites work: Q4222911
cites work: Algebra of communicating processes with abstraction
cites work: Q4256644
cites work: Testing preorders for probabilistic processes.
cites work: Testing preorders for probabilistic processes
cites work: Testing equivalences for processes
cites work: Reactive, generative, and stratified models of probabilistic processes
cites work: A theory of communicating processes with value passing
cites work: Communicating sequential processes
cites work: Q3777424
cites work: CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
cites work: Formal verification of parallel programs
cites work: Q4223011
cites work: Bisimulation through probabilistic testing
cites work: A calculus of communicating systems
cites work: Calculi for synchrony and asynchrony
cites work: Q3992568
cites work: A calculus of mobile processes. II
cites work: Probabilistic logic
cites work: Q3907077
cites work: Probabilistic communicating processes
cites work: A Mathematical Theory of Communication
cites work: Composition and behaviors of probabilistic I/O automata
cites work: A new approach for fuzzy topology. I
cites work: A new approach for fuzzy topology. II
cites work: A new approach for fuzzy topology. III
cites work: Fuzzifying topology based on complete residuated lattice-valued logic. I
cites work: Bisimulation indexes and their applications
cites work: Q2701735
description: scientific article; zbMATH DE number 1774108