Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (Crm Monograph Series)

5 avg rating
( 1 ratings by Goodreads )
 
9780821835715: Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (Crm Monograph Series)

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.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Marta Kwiatkowska, Gethin Norman, and David Parker J. J. M. M. Rutten
Published by American Mathematical Society, United States (2004)
ISBN 10: 0821835718 ISBN 13: 9780821835715
New Hardcover Quantity Available: 1
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description American Mathematical Society, United States, 2004. Hardback. Book Condition: New. Language: English . Brand New Book. This 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. Bookseller Inventory # AAN9780821835715

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 73.01
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Marta Kwiatkowska, Gethin Norman, and David Parker J. J. M. M. Rutten
Published by American Mathematical Society, United States (2004)
ISBN 10: 0821835718 ISBN 13: 9780821835715
New Hardcover Quantity Available: 1
Seller:
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description American Mathematical Society, United States, 2004. Hardback. Book Condition: New. Language: English . Brand New Book. This 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. Bookseller Inventory # AAN9780821835715

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 76.98
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Prakash Panangaden
Published by American Mathematical Society (2004)
ISBN 10: 0821835718 ISBN 13: 9780821835715
New Quantity Available: 4
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description American Mathematical Society, 2004. HRD. Book Condition: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Bookseller Inventory # CE-9780821835715

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 65.21
Convert Currency

Add to Basket

Shipping: US$ 11.89
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Marta Kwiatkowska, Gethin Norman, and David Parker J. J. M. M. Rutten, J. J. M. M. Rutten (Editor), Prakash Panangaden (Editor), Franck van Breugel (Editor)
Published by American Mathematical Society, Centre de Recherches Mathematiques (2004)
ISBN 10: 0821835718 ISBN 13: 9780821835715
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description American Mathematical Society, Centre de Recherches Mathematiques, 2004. Hardcover. Book Condition: New. Bookseller Inventory # DADAX0821835718

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 96.01
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

5.

Rutten, J. J. M. M. (Editor)/ Kwiatkowska, Marta/ Norman, Gethin/ Parker, David/ Panangaden, Prakash (Editor)/ van Breugel, Franck (Editor)/ Breugel, Franck Van (Editor)
Published by Amer Mathematical Society (2004)
ISBN 10: 0821835718 ISBN 13: 9780821835715
New Hardcover Quantity Available: 2
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Amer Mathematical Society, 2004. Hardcover. Book Condition: Brand New. illustrated edition. 215 pages. 10.00x7.00x0.50 inches. In Stock. Bookseller Inventory # __0821835718

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 96.51
Convert Currency

Add to Basket

Shipping: US$ 7.93
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

Marta Kwiatkowska, Gethin Norman, and David Parker J. J. M. M. Rutten
Published by American Mathematical Society, Centre de Recherches Mathematiques (2004)
ISBN 10: 0821835718 ISBN 13: 9780821835715
New Hardcover Quantity Available: 1
Seller:
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description American Mathematical Society, Centre de Recherches Mathematiques, 2004. Hardcover. Book Condition: New. book. Bookseller Inventory # M0821835718

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 106.94
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds