Kostenloser Versand
Bequem zahlen
Wir sind gerne für Sie da
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
Produkteigenschaften
- Artikelnummer: 9780821835715
- Medium: Buch
- ISBN: 978-0-8218-3571-5
- Verlag: American Mathematical Society
- Erscheinungstermin: 30.03.2004
- Sprache(n): Englisch
- Auflage: Erscheinungsjahr 2004
- Serie: CRM Monograph S.
- Produktform: Gebunden
- Gewicht: 624 g
- Ausgabetyp: Kein, Unbekannt