Tcp transaction management: server send after client shutdown(SHUT_WR)

[esr (Enzo Scossa-Romano)]

But you write:

@RAc

A sequential protocol execution is most naturally modelled by a sequential implementatin.

Your stock is not sequential and if i have more than 1 ADCtask is not sequential anymore…or it is?