Algebraic theory of probabilistic processes.

DOI10.1016/S1567-8326(02)00069-3zbMath1048.68057MaRDI QIDQ1400293

Manuel A. Nunez

Publication date: 13 August 2003

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

zbMATH Keywords

Probabilistic process algebrasProbabilistic testing semantics

Mathematics Subject Classification ID

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

Related Items (12)

Specification, testing and implementation relations for symbolic-probabilistic systems ⋮ Non-bisimulation-based Markovian behavioral equivalences ⋮ Denotational Semantics for a Probabilistic Timed Shared-Variable Language ⋮ An extended framework for passive asynchronous testing ⋮ A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences ⋮ Using schedulers to test probabilistic distributed systems ⋮ Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language ⋮ A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets ⋮ Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems ⋮ Testing from a stochastic timed system with a fault model ⋮ \(\pi\)-calculus with noisy channels ⋮ Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity

Cites Work

• Probabilistic and prioritized models of timed CSP
• Bisimulation through probabilistic testing
• A logic for reasoning about time and reliability
• Testing equivalences for processes
• Composition and behaviors of probabilistic I/O automata
• A process algebra for probabilistic and nondeterministic processes
• Testing preorders for probabilistic processes.
• Reactive, generative, and stratified models of probabilistic processes
• Axiomatizing probabilistic processes: ACP with generative probabilities
• Acceptance trees
• Testing probabilistic automata
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebraic theory of probabilistic processes.