[TYPES/announce] New Book: Labelled Markov Processes

[Prakash Panangaden]

Announcing a new book: Labelled Markov Processes by Prakash Panangaden.
This new book is partly an expository introduction to probability theory on
continuous state spaces and partly a monograph on recent work by Danos,
Desharnais, Edalat, Gupta, Jagadeesan, Panangaden van Breugel and Worrell
among others on bisimulation, logical characterization, metrics and
approximation of labelled Markov processes.

The publisher is offering a discount of 25% from now till 15 Aug 2009.
Details are at the publisher's web site:
http://www.worldscibooks.com/compsci/p595.html

Sincerely,
Prakash Panangaden