Covers all aspects of finite transition systems, which enable the modelling of systems of concurrent processes & also provide the basis for verification & notions of equivalence. This text deals with both the semantics of systems describable as transition systems & their logics.