Additive models of probabilistic processes

DOI10.1016/S0304-3975(01)00294-8zbMath1026.68100MaRDI QIDQ1607220

Ming Sheng Ying

Publication date: 31 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

bisimulation; strong bisimulation; probabilistic process; observation congruence; transitional semantics

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

The infinite evolution mechanism of \(\epsilon\)-bisimilarity, Bisimulation indexes and their applications, Quantitative analysis of software approximate correctness, Probabilistic bisimulations for quantum processes, \(\pi\)-calculus with noisy channels, Probabilistic model of software approximate correctness

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Mathematical Theory of Communication
• Probabilistic communicating processes
• Calculi for synchrony and asynchrony
• Algebra of communicating processes with abstraction
• Probabilistic logic
• A calculus of communicating systems
• Bisimulation through probabilistic testing
• CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
• A new approach for fuzzy topology. II
• A calculus of mobile processes. II
• A new approach for fuzzy topology. III
• Fuzzifying topology based on complete residuated lattice-valued logic. I
• A theory of communicating processes with value passing
• Testing equivalences for processes
• Composition and behaviors of probabilistic I/O automata
• Bisimulation indexes and their applications
• Testing preorders for probabilistic processes.
• Reactive, generative, and stratified models of probabilistic processes
• Axiomatizing probabilistic processes: ACP with generative probabilities
• A new approach for fuzzy topology. I
• Formal verification of parallel programs
• Communicating sequential processes
• Testing preorders for probabilistic processes