> Transition diagrams for state machines, Swimlane diagrams for request / response protocols.

100%. especially because these things also form the basis for static analysis; if your state / protocol diagrams let you run something like TLA you are doing really good