Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems

Erscheinungsjahr 2004
ISBN: 978-0-8218-3571-5
Verlag: American Mathematical Society

Buch, Englisch, Band 23, Gewicht: 624 g

Reihe: CRM Monograph S.

Two sets of lectures first presented at a 2002 workshop on "Mathematical Techniques for Analyzing Systems" are presented, exploring different aspects of the mathematical concept of concurrency and its applications in theoretical computer science. The first set of lectures examine the coalgebraic approach to concurrency, presenting a "calculus of st

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 number

Acknowledgments; Streams and coinduction; Stream calculus; Analytical differential equations; Coinductive counting; Component connectors; Key differential equations; Bibliography; Introduction; Discrete-time Markov chains; Markov decision processes; Continuous-time Markov chains; Probabilistic timed automata; Implementation; Measure theory and probability; Iterative solution methods; Bibliography

Fachgebiete

• Mathematik | Informatik Mathematik Stochastik Mathematische Statistik
• Mathematik | Informatik Mathematik Stochastik Wahrscheinlichkeitsrechnung