Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems

Consists of two sets of lecture notes devoted to slightly different methods of analysis of concurrent and probabilistic computational systems. This book is suitable for graduate courses in theoretical computer science and for research mathematicians interested in design and analysis of concurrent and probabilistic computational systems.