[e2e] a new IRTF group on Transport Models

[frank@kastenholz.org]

While all this chatter about certain actions TCP can
or can not take and perfect nets with theorem
provers in all the routers is as interesting and
amusing as brain surgery, my original question stands:

     Is there any thought to identifying information
     that routers and end systems might provide that
     either can be fed back into the models to refine
     them or used in parallel to (in)validate them?

Frank Kastenholz