Additional Material for the Book

Book Web Pages | AMS Bookstore

Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
J. J. M. M. Rutten, Marta Kwiatkowska, Gethin Norman, and David Parker
Publication Year: 2004
ISBN-10: 0-8218-3571-8
ISBN-13: 978-0-8218-3571-5

This page is maintained by the authors.

Contact information:

J. J. M. M. Rutten
CWI, Amsterdam and Radboud University
Nijmegen P.O. Box 94079
1090 GB Amsterdam, The Netherlands
Email: J.J.M.M. Rutten

Marta Kwiatkowska
Computing Systems
Trinity College
Wolfson Building
Parks Road
Oxford OX1 3QD, UK

Gethin Norman
School of Computing Science
Sir Alwyn Williams Building
18 Lilybank Gardens
University of Glasgow
Glasgow G12 8RZ, Scotland
Email: Gethin Norman

David Parker
School of Computer Science
University of Birmingham
Edgbaston
Birmingham, B15 2TT, England
Email: David Parker