Select Publications

By Emeritus Professor Carroll Morgan

Preprints

McIver A; Meinicke L; Morgan C, 2011, Hidden-Markov Program Algebra with iteration, http://dx.doi.org/10.48550/arxiv.1102.0333

McIver A; Meinicke L; Morgan C, 2010, Compositional closure for Bayes Risk in probabilistic noninterference, http://dx.doi.org/10.48550/arxiv.1007.1054


Back to profile page

ORCID as entered in ROS

orcid_icon https://orcid.org/0000-0002-8535-9068

UNSW Sydney NSW 2052 Australia Telephone +61 2 93851000
Authorised by Deputy Vice-Chancellor (Research)
UNSW CRICOS Provider Code: 00098G ABN: 57 195 873 179

Join the conversation