Algebraic theory of probabilistic and nondeterministic processes.

DOI10.1016/S1567-8326(02)00040-1zbMath1054.68091OpenAlexW2034188142MaRDI QIDQ1400156

Diego Cazorla, Fernando Cuartero, Fernando López Pelayo, Valentin Valero, Juan José Pardo

Publication date: 13 August 2003

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

Full work available at URL: https://doi.org/10.1016/s1567-8326(02)00040-1

zbMATH Keywords

Process algebraTesting semanticsDenotational semanticsProbabilistic and nondeterministic processesProof system

Mathematics Subject Classification ID

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

Related Items (8)

Specification, testing and implementation relations for symbolic-probabilistic systems ⋮ Generating the syntactic and semantics graphs for a Markovian process algebra ⋮ A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences ⋮ Probabilistic may/must testing: retaining probabilities by restricted schedulers ⋮ 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 ⋮ Remarks on Testing Probabilistic Processes

Cites Work

• Transition system specifications with negative premises
• Bisimulation through probabilistic testing
• Testing equivalences for processes
• A process algebra for probabilistic and nondeterministic processes
• Testing preorders for probabilistic processes.
• Reactive, generative, and stratified models of probabilistic processes
• Refinement-oriented probability for CSP
• 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 and nondeterministic processes.