Semantics of structural liveness (Chapter 3)