Karen A. Frenkel;Robin Milner
-;-
The how and why of interactive Markov chains
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects