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.