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)

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