[TYPES/announce] New Book: Labelled Markov Processes

Prakash Panangaden prakash at cs.mcgill.ca
Fri Jul 24 12:20:56 EDT 2009


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




More information about the Types-announce mailing list