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)

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