A model of probabilistic processes

MaRDI QIDQ5754515zbMATH OpenFDO

Authors Fernando Cuartero, Valentín Valero, David de Frutos

Publication date 22 August 2007

zbMATH Keywords

denotational semanticstesting semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Probabilistic communicating processes
• Refinement-oriented probability for CSP
• Remarks on testing probabilistic processes
• scientific article; zbMATH DE number 1231649
• Algebraic theory of probabilistic processes.

Cited in

(14)

• LOTOS extended with probabilistic behaviours
• Algebraic theory of probabilistic and nondeterministic processes.
• Additive models of probabilistic processes
• Reactive, generative, and stratified models of probabilistic processes
• scientific article; zbMATH DE number 5319911 (Why is no real title available?)
• scientific article; zbMATH DE number 67509 (Why is no real title available?)
• scientific article; zbMATH DE number 1231649 (Why is no real title available?)
• scientific article; zbMATH DE number 1324654 (Why is no real title available?)
• scientific article; zbMATH DE number 1324656 (Why is no real title available?)
• Validation of Stochastic Systems
• A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets
• Hierarchical reasoning in probabilistic CSP
• Probabilistic communicating processes
• A mathematical model of processes with non-single-valued characteristics

This page was built for publication: A model of probabilistic processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5754515)