scientific article; zbMATH DE number 1418454

zbMATH Open0952.68091MaRDI QIDQ4942011FDOQ4942011

Authors: Manuel Núñez, David Rupérez 

Publication date: 19 March 2000

Title of this publication is not available (Why is that?)

Recommendations

• Remarks on testing probabilistic processes
• scientific article; zbMATH DE number 7311343
• A testing scenario for probabilistic processes
• Algebraic theory of probabilistic processes.
• Bisimulation through probabilistic testing

zbMATH Keywords

probabilistic testing semantics

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Cited In (8)

• Probabilistic Analysis of Binary Sessions
• Probabilistic may/must testing: retaining probabilities by restricted schedulers
• Fair \(\pi\)
• Explicit fairness in testing semantics
• Applying a testing approach to the calculus of fair ambients
• Fair testing
• Targeted testing for bias in order assignment, with an application to Texas election ballots
• Algebraic theory of probabilistic processes.

This page was built for publication:

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