Publication:4942011

zbMath0952.68091MaRDI QIDQ4942011

Manuel A. Nunez, David Rupérez

Publication date: 19 March 2000

zbMATH Keywords

probabilistic testing semantics

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68Q55: Semantics in the theory of computing

Related Items

Algebraic theory of probabilistic processes., Fair Π