Josyula Ramachandra Rao
-
Asynchronous progress
Programming methodology
Reliability assessment through probabilistic refinement
Nordic Journal of Computing