scientific article
From MaRDI portal
Publication:3347262
zbMath0558.68010MaRDI QIDQ3347262
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
probabilistic programsequational propertiesprobabilistic program schemespropositional programming language
Related Items
Reasoning about probabilistic sequential programs, A probabilistic PDL, Decidability of finite probabilistic propositional dynamic logics