AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
About this Title
J. J. M. M. Rutten, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, Netherlands, Marta Kwiatkowska, University of Birmingham, Birmingham, England, Gethin Norman, University of Birmingham, Birmingham, England and David Parker, University of Birmingham, Birmingham, England. Edited by Prakash Panangaden, McGill University, Montr/’eal, QC, Canada and Franck van Breugel, York University, Toronto, ON, Canada
Publication: CRM Monograph Series
Publication Year:
2004; Volume 23
ISBNs: 978-0-8218-3571-5 (print); 978-1-4704-3867-8 (online)
DOI: https://doi.org/10.1090/crmm/023
MathSciNet review: MR2063222
MSC: Primary 68-02; Secondary 60J10, 60J20, 60J27, 68Q60, 68Q65, 68Q85
Table of Contents
Front/Back Matter
On streams and coinduction
- Preface
- Acknowledgments
- Streams and coinduction
- Stream calculus
- Analytical differential equations
- Coinductive counting
- Component connectors
- Appendix A. Key differential equations
- Bibliography
Modelling and verification of probabilistic systems