New Titles  |  FAQ  |  Keep Informed  |  Review Cart  |  Contact Us Quick Search (Advanced Search ) Browse by Subject General Interest Logic & Foundations Number Theory Algebra & Algebraic Geometry Discrete Math & Combinatorics Analysis Differential Equations Geometry & Topology Probability & Statistics Applications Mathematical Physics Math Education
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
J. J. M. M. Rutten, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, Netherlands, and Marta Kwiatkowska, Gethin Norman, and David Parker, University of Birmingham, England
A co-publication of the AMS and Centre de Recherches Mathématiques.
 SEARCH THIS BOOK:
CRM Monograph Series
2004; 215 pp; hardcover
Volume: 23
ISBN-10: 0-8218-3571-8
ISBN-13: 978-0-8218-3571-5
List Price: US$65 Member Price: US$52
Order Code: CRMM/23

The book consists of two sets of lecture notes devoted to slightly different methods of analysis of concurrent and probabilistic computational systems.

The first set of lectures develops a calculus of streams (a generalization of the set of natural numbers) based on the coinduction principle coming from the theory of coalgebras. It is now well understood that the interplay between algebra (for describing structure) and coalgebra (for describing dynamics) is crucial for understanding concurrent systems. There is a striking analogy between streams and formula calculus reminiscent of those appearing in quantum calculus. These lecture notes will appeal to anyone working in concurrency theory but also to algebraists and logicians.

The other set of lecture notes focuses on methods for automatically verifying probabilistic systems using techniques of model checking. The unique aspect of these lectures is the coverage of both theory and practice. The authors have been responsible for one of the most successful experimental systems for probabilistic model checking. These lecture notes are of interest to software engineers, real-time programmers, researchers in machine learning and numerical analysts who may well be interested to see how standard numerical techniques are used in a novel context.

Both sets of lectures are expository and suitable for graduate courses in theoretical computer science and for research mathematicians interested in design and analysis of concurrent and probabilistic computational systems.

Titles in this series are co-published with the Centre de Recherches Mathématiques.

Graduate students and research mathematicians interested in theoretical computer science, specifically the theory of computing models.

Reviews

"Presents a new way of thinking about concurrency."

-- CMS Notes

On streams and coinduction
• Preface
• Acknowledgments
• Streams and coinduction
• Stream calculus
• Analytical differential equations
• Coinductive counting
• Component connectors
• Key differential equations
• Bibliography
Modelling and verification of probabilistic systems
• Preface
• Introduction
• Discrete-time Markov chains
• Markov decision processes
• Continuous-time Markov chains
• Probabilistic timed automata
• Implementation
• Measure theory and probability
• Iterative solution methods
• Bibliography
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.29172930121421814, "perplexity": 3063.6944615023335}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2014-52/segments/1419447563504.69/warc/CC-MAIN-20141224185923-00004-ip-10-231-17-201.ec2.internal.warc.gz"}