Computer Science – Cryptography and Security
Scientist
Computer Science
Cryptography and Security
Scientist
University of New South Wales
Characterising Testing Preorders for Finite Probabilistic Processes
Compositional closure for Bayes Risk in probabilistic noninterference
Hidden-Markov Program Algebra with iteration
Real-Reward Testing for Probabilistic Processes (Extended Abstract)
Results on the quantitative mu-calculus qMu
No associations
LandOfFree
Carroll Morgan does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Carroll Morgan, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Carroll Morgan will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-129376