scientific article; zbMATH DE number 4115933
From MaRDI portal
Publication:4730757
zbMath0681.68027MaRDI QIDQ4730757
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Algebraic theory of probabilistic and nondeterministic processes. ⋮ Bisimulation through probabilistic testing ⋮ Experimenting with process equivalence ⋮ Testing preorders for probabilistic processes
This page was built for publication:
