Probabilistic and non-deterministic semantics for iterative programs
Agnieszka Makarec · 2009
In this paper probabilistic and non-deterministic programs are considered on the ground of logic of programs. We are interested in dependencies between nondeterministic and probabilistic interpretation of a program. The formal definitions of probabilistic and non-deterministic semantics are the starting point for our considerations. The emphasis is on differences in expressibility the halting property in probabilistic and non-deterministic logic of programs.