3 ms·
> Transition diagrams for state machines, Swimlane diagrams for request / response protocols. 100%. especially because these things also form the basis for sta
by awinter-py 2y ago
> 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