[sanjiva]

I missed replying to this .. yes one could easily.

Making that perform at the same level as a TCP driver written in C could be a bit challenging .. but not impossible.

In fact, expressing network interaction protocols is one motivation for the sequence diagram approach, but the expectation was higher level stuff like OpenID or SAML type interactions.