Specification and Development of Probabilistic Systems  

Background

These publications represent roughly 20 years of research within the general theme of probabilistic, nondeterministic and secure models for computer programs. The work began in Oxford in 1995, and moved to Australia in 2000.

Publications