scientific article; zbMATH DE number 1318512
From MaRDI portal
Publication:4256644
zbMath0925.03151MaRDI QIDQ4256644
No author found.
Publication date: 8 August 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)
Related Items (6)
A logic for reasoning about time and reliability ⋮ Determining asynchronous test equivalence for probabilistic processes ⋮ Algebraic theory of probabilistic and nondeterministic processes. ⋮ A framework for analyzing probabilistic protocols and its application to the partial secrets exchange ⋮ On the verification of qualitative properties of probabilistic processes under fairness constraints. ⋮ Additive models of probabilistic processes
This page was built for publication:
