Strongly-continuous semigroups (C_0)

T(t): X→X with T(0)=I, T(t+s)=T(t)T(s), strong continuity. Hille-Yosida: A generator iff closed, densely defined, resolvent bounds. Models evolution.