Observability, Connectivity, and Replay in a Sequential Calculus of Classes