Important information regarding the recent AMS power outage.

The transformer that provides electricity to the AMS building in Providence went down on Sunday, April 22. The restoration of our email, website, AMS Bookstore and other systems is almost complete. We are currently running on a generator but overnight a new transformer should be hooked up and (fingers crossed) we should be fine by 8:00 (EDT) Wednesday morning. This issue has affected selected phones, which should be repaired by the end of today. No email was lost, although the accumulated messages are only just now being delivered so you should expect some delay.

Thanks for your patience.


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



American Mathematical Society