Process Calculi: The End of the Beginning?: (From Thought Experiments to Experimental Semantics)

This note reflects, from a Process Calculus point of view, on lessons learned during research modelling the real-world TCP and UDP network protocols.