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 (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)