Algebra unifies calculi of programming, Part 2

This is the part 2 of two related talks on the use of algebra for unifying calculi of programming. In this second part, I will discuss some (slightly) more advanced aspects of the topic.  For example, I will explain concrete models of the algebra, such as regular languages, partial order models, relations, and a new tracelet model due to Struth.  In passing, if time permits, I will also give algebraic definitions of some useful programming design patterns like contracts and transactions.