I was wondering if there's a concise way to write down communication protocols.
Something that'd be to RFCs what Relation Algebra is to SQL.

And then lo and behold, there exists a thing called "Algebraic Specification of Communication Protocols" on cambridge website.

It's a book.

You have to pay for it if you want to read it.

ffs....