scientific article; zbMATH DE number 1418454

MaRDI QIDQ4942011zbMATH OpenFDO

Authors Manuel Núñez, David Rupérez

Publication date 19 March 2000

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)

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

Cited in

(13)

• Algebraic theory of probabilistic processes.
• Probabilistic may/must testing: retaining probabilities by restricted schedulers
• Targeted testing for bias in order assignment, with an application to Texas election ballots
• Semi-decidability of may, must and probabilistic testing in a higher-type setting
• Fair testing and stubborn sets
• Fair \(\pi\)
• Explicit fairness in testing semantics
• Divergence and fair testing
• Probabilistic Analysis of Binary Sessions
• Applying a testing approach to the calculus of fair ambients
• Fair must testing for I/O automata
• Formalisation of Probabilistic Testing Semantics in Coq
• Fair testing

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)