Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems

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