Carroll Morgan
Author
Alternate names Carroll Morgan, C. Morgan, C. C. Morgan
Past institutions Data61, UNSW Sydney, Commonwealth Scientific and Industrial Research Organisation, University of North Carolina at Greensboro, University of Oxford +1 more
H-index: 17
I10-index: 20
Works count: 55
Citations count: 884
Abstraction, Refinement And Proof For Probabilistic Systems (Monographs in Computer Science)
2004 · Annabelle McIver, Carroll Morgan · Springer eBooks
A new proof rule for almost-sure termination
2017 · Annabelle McIver, Carroll Morgan, et al. · Proceedings of the ACM on Programming Languages
Additive and Multiplicative Notions of Leakage, and Their Capacities
2014 · Mário S. Alvim, Konstantinos Chatzikokolakis, et al.