http://www.researchonline.mq.edu.au/vital/access/services/Feed ${session.getAttribute("locale")} 5 http://www.researchonline.mq.edu.au/vital/access/manager/Repository/mq:361 The book is a focused survey on probabilistic program semantics, conceived to tell a coherent story with a uniform notation. It is grouped into three themes: Part I is for 'users' of the techniques who will be developing actual programs; Part II gives mathematical foundations intended for those studying exactly how it was done and how to build semantic structures/models in their own work; and Part III describes a very 'hot' research direction, temporal logic and model checking. 2012-02-16T00:41:01.587Z ]]>