Johan J. Lukkien
-
Kleene getting lazy
Science of Computer Programming
Operational versus weakest pre-expectation semantics for the probabilistic guarded command language
Performance Evaluation