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 th
List Price: $ 62.00
Price: $ 43.40
Few More:
![](http://ecx.images-amazon.com/images/I/517Q1P0J9SL._SL75_.jpg)
Praise for The CRM Handbook “Want to avoid being one of the estimated 70 percent of companies who have tried implementing stan…
![](http://ecx.images-amazon.com/images/I/51vTG7-xfpL._SL75_.jpg)
ACT! by Sage 2010 helps individuals organize the details of customer relationships in one place for a complete view of the people …
![](http://ecx.images-amazon.com/images/I/51bhYLMZYbL._SL75_.jpg)
Designed expressly for music or audio recording, Sony CD-R music discs provide the excellent sound quality of pre-recorded compact…
Related CRM Products